<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

Data publikacji: 18 lip 2019

Zakres stron: 210 - 220

Otrzymano: 23 lut 2018

Przyjęty: 28 paź 2018

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

Słowa kluczowe
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

Data publikacji: 18 lip 2019

Zakres stron: 210 - 220

Otrzymano: 23 lut 2018

Przyjęty: 28 paź 2018

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

Słowa kluczowesubcoalgebra, bisimulation, exact sequence

© 2019 Jean-Paul Mavoungou, published by Sciendo

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

Słowa kluczowe
subcoalgebra, bisimulation, exact sequence