5 research outputs found
Duality of equations and coequations via contravariant adjunctions
In this paper we show duality results between categories of equations and categories of coequations. These dualities are obtained as restrictions of dualities between categories of algebras and coalgebras, which arise by lifting contravariant adjunctions on the base categories. By extending this approach to (co)algebras for (co)monads, we retrieve th
Equations and Coequations for Weighted Automata
Contains fulltext :
143636.pdf (preprint version ) (Open Access