Isomorphism theorems for coalgebras

Jean-Paul Mavoungou

Published: 2019-03-02
Language: EN

Vol. 33 (2019)

Isomorphism theorems for coalgebras

Jean-Paul Mavoungou

Abstract

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

(EN)

Keywords:

subcoalgebra , bisimulation , exact sequence (EN)

Download files

PDF

Citation rules

Mavoungou, J.-P. (2019). Isomorphism theorems for coalgebras. Annales Mathematicae Silesianae, 33, 210–220. Retrieved from https://trrest.vot.pl/ojsus/index.php/AMSIL/article/view/13668

Vol. 33 (2019)
Published: 2019-07-18

ISSN: 0860-2107

eISSN: 2391-4238

10.1515/amsil

Publisher

University of Silesia Press

Submit