<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

Publicado en línea: 18 jul 2019

Páginas: 210 - 220

Recibido: 23 feb 2018

Aceptado: 28 oct 2018

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

Palabras clave
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

Publicado en línea: 18 jul 2019

Páginas: 210 - 220

Recibido: 23 feb 2018

Aceptado: 28 oct 2018

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

Palabras clavesubcoalgebra, bisimulation, exact sequence

© 2019 Jean-Paul Mavoungou, published by Sciendo

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

Palabras clave
subcoalgebra, bisimulation, exact sequence