Abstract : 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 the duality between equations and coequations for automata proved by Ballester-Bolinches, Cosme-Llópez and Rutten, and generalize it to dynamical systems.
https://hal.inria.fr/hal-01446034 Contributor : Hal IfipConnect in order to contact the contributor Submitted on : Wednesday, January 25, 2017 - 3:24:29 PM Last modification on : Saturday, September 11, 2021 - 3:18:33 AM Long-term archiving on: : Wednesday, April 26, 2017 - 3:57:01 PM