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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/hal-01446034
Contributor : Hal Ifip <>
Submitted on : Wednesday, January 25, 2017 - 3:24:29 PM
Last modification on : Friday, February 8, 2019 - 10:50:22 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

Identifiers

Citation

Julian Salamanca, Marcello Bonsangue, Jurriaan Rot. Duality of Equations and Coequations via Contravariant Adjunctions. 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.73-93, ⟨10.1007/978-3-319-40370-0_6⟩. ⟨hal-01446034⟩

Share

Metrics

Record views

164

Files downloads

107