Isomorphism Theorems for Coalgebras

• Autorzy: Jean-Paul Mavoungou
• Języki publikacji: EN

Abstrakty

EN

Let $F$ be an endofunctor of a category $\mathcal{C}$. We prove isomorphism theorems for $F$-coalgebras under condition that the underlying category $\mathcal{C}$ is exact; that is, regular with exact sequences. Also, $F$ is not assumed to preserve pullbacks(original abstract)

Słowa kluczowe

EN

Mathematics; Mathematical functions; Mathematical statistics; Algebra

PL

Matematyka; Funkcje matematyczne; Statystyka matematyczna; Algebra

• Czasopismo: Annales Mathematicae Silesianae
• Rocznik: 2019
• Tom: 33
• Strony: 210--220

Twórcy

autor

Jean-Paul Mavoungou

• University of Yaoundé Faculty of Science, Department of Mathematics

Bibliografia

• P. Aczel and N. Mendler, A final coalgebra theorem, in: D.H. Pitt et al. (Eds.), Category Theory and Computer Science, Lecture Notes in Comput. Sci., 389, Springer, Berlin, 1989, pp. 357-365.
• M. Barr and C. Wells, Toposes, Triples and Theories. Corrected reprint of the 1985 original. Repr. Theory Appl. Categ. 12 (2005), 1-288.
• H.P. Gumm, Elements of the general theory of coalgebras, LUATCS'99, Rand Africaans University, Johannesburg, South Africa, 1999.
• P.T. Johnstone, Topos Theory, Academic Press, London-New York, 1977.
• P. Johnstone, J. Power, T. Tsujishita, H. Watanabe, and J. Worrell, On the structure of categories of coalgebras, Theoret. Comput. Sci. 260 (2001), no. 1-2, 87-117.
• J.J.M.M. Rutten, Universal coalgebra: a theory of systems, Theoret. Comput. Sci. 249 (2000), no. 1, 3-80.
• S. Staton, Relating coalgebraic notions of bisimulation, Log. Methods Comput. Sci. 7 (2011), no. 1, 1:13, 21 pp.

Identyfikatory

DOI

10.2478/amsil-2018-0014