<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

Published Online: Jul 18, 2019

Page range: 210 - 220

Received: Feb 23, 2018

Accepted: Oct 28, 2018

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

Keywords
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

Published Online: Jul 18, 2019

Page range: 210 - 220

Received: Feb 23, 2018

Accepted: Oct 28, 2018

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

Keywordssubcoalgebra, bisimulation, exact sequence

© 2019 Jean-Paul Mavoungou, published by Sciendo

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

Keywords
subcoalgebra, bisimulation, exact sequence