Warianty tytułu
Języki publikacji
Abstrakty
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)
Twórcy
autor
- 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.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000171605641