<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

Online veröffentlicht: 18. Juli 2019

Seitenbereich: 210 - 220

Eingereicht: 23. Feb. 2018

Akzeptiert: 28. Okt. 2018

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

Schlüsselwörter
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

Online veröffentlicht: 18. Juli 2019

Seitenbereich: 210 - 220

Eingereicht: 23. Feb. 2018

Akzeptiert: 28. Okt. 2018

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

Schlüsselwörtersubcoalgebra, bisimulation, exact sequence

© 2019 Jean-Paul Mavoungou, published by Sciendo

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

Schlüsselwörter
subcoalgebra, bisimulation, exact sequence