<abstract xmlns="http://www.w3.org/1999/xhtml"><p>Let <italic>F</italic> be an endofunctor of a category <italic>C</italic>. We prove isomorphism theorems for <italic>F</italic> -coalgebras under condition that the underlying category <italic>C</italic> is exact; that is, regular with exact sequences. Also, <italic>F</italic> is not assumed to preserve pullbacks.</p></abstract>

Let F be an endofunctor of a category C. We prove isomorphism theorems for F -coalgebras under condition that the underlying category C is exact; that is, regular with exact sequences. Also, F is not assumed to preserve pullbacks.

Isomorphism Theorems for Coalgebras

Faculty of Science, Department of Mathematics

Annales Mathematicae Silesianae

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

{"article-title":"Isomorphism Theorems for Coalgebras"}

Let F be an endofunctor of a category C. We prove isomorphism theorems for F -coalgebras under condition that the underlying category C is exact; that is,...

Isomorphism Theorems for Coalgebras

Publié en ligne: 18 juil. 2019

Pages: 210 - 220

Reçu: 23 févr. 2018

Accepté: 28 oct. 2018

DOI: https://doi.org/10.2478/amsil-2018-0014

Mots clés
subcoalgebra, bisimulation, exact sequence

© 2019 Jean-Paul Mavoungou, published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Isomorphism Theorems for Coalgebras

Publié en ligne: 18 juil. 2019

Pages: 210 - 220

Reçu: 23 févr. 2018

Accepté: 28 oct. 2018

DOI: https://doi.org/10.2478/amsil-2018-0014

Mots cléssubcoalgebra, bisimulation, exact sequence

© 2019 Jean-Paul Mavoungou, published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Mots clés
subcoalgebra, bisimulation, exact sequence