Isomorphism theorems for coalgebras



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.


Keywords

subcoalgebra; bisimulation; exact sequence

1. 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.
2. M. Barr and C. Wells, Toposes, Triples and Theories. Corrected reprint of the 1985 original. Repr. Theory Appl. Categ. 12 (2005), 1–288.
3. H.P. Gumm, Elements of the general theory of coalgebras, LUATCS'99, Rand Africaans University, Johannesburg, South Africa, 1999.
4. P.T. Johnstone, Topos Theory, Academic Press, London-New York, 1977.
5. 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.
6. J.J.M.M. Rutten, Universal coalgebra: a theory of systems, Theoret. Comput. Sci. 249 (2000), no. 1, 3–80.
7. S. Staton, Relating coalgebraic notions of bisimulation, Log. Methods Comput. Sci. 7 (2011), no. 1, 1:13, 21 pp.
Download

Published : 2019-03-02


MavoungouJ.-P. (2019). Isomorphism theorems for coalgebras. Annales Mathematicae Silesianae, 33, 210-220. Retrieved from https://journals.us.edu.pl/index.php/AMSIL/article/view/13668

Jean-Paul Mavoungou  jpmavoungou@yahoo.fr
Department of Mathematics, Faculty of Science, University of Yaoundé 1, Cameroon  Cameroon



The Copyright Holders of the submitted text are the Author and the Journal. The Reader is granted the right to use the pdf documents under the provisions of the Creative Commons 4.0 International License: Attribution (CC BY). The user can copy and redistribute the material in any medium or format and remix, transform, and build upon the material for any purpose.

  1. License
    This journal provides immediate open access to its content under the Creative Commons BY 4.0 license (http://creativecommons.org/licenses/by/4.0/). Authors who publish with this journal retain all copyrights and agree to the terms of the above-mentioned CC BY 4.0 license.
  2. Author’s Warranties
    The author warrants that the article is original, written by stated author/s, has not been published before, contains no unlawful statements, does not infringe the rights of others, is subject to copyright that is vested exclusively in the author and free of any third party rights, and that any necessary written permissions to quote from other sources have been obtained by the author/s.
  3. User Rights
    Under the Creative Commons Attribution license, the users are free to share (copy, distribute and transmit the contribution) and adapt (remix, transform, and build upon the material) the article for any purpose, provided they attribute the contribution in the manner specified by the author or licensor.
  4. Co-Authorship
    If the article was prepared jointly with other authors, the signatory of this form warrants that he/she has been authorized by all co-authors to sign this agreement on their behalf, and agrees to inform his/her co-authors of the terms of this agreement.