| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Duality of Equations and Coequations via Contravariant Adjunctions
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.
Cited literature [25 references]
https://hal.inria.fr/hal-01446034
Contributor : Hal Ifip <>
Submitted on : Wednesday, January 25, 2017 - 3:24:29 PM
Last modification on : Wednesday, November 20, 2019 - 3:21:59 AM
Long-term archiving on: : Wednesday, April 26, 2017 - 3:57:01 PM
Contributor : Hal Ifip <>
Submitted on : Wednesday, January 25, 2017 - 3:24:29 PM
Last modification on : Wednesday, November 20, 2019 - 3:21:59 AM
Long-term archiving on: : Wednesday, April 26, 2017 - 3:57:01 PM
File
418352_1_En_6_Chapter.pdf
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License