• Home
  • Browse
    • Current Issue
    • By Issue
    • By Author
    • By Subject
    • Author Index
    • Keyword Index
  • Journal Info
    • About Journal
    • Aims and Scope
    • Editorial Board
    • Editorial Staff
    • Publication Ethics
    • Indexing and Abstracting
    • Related Links
    • FAQ
    • Peer Review Process
    • News
  • Guide for Authors
  • Submit Manuscript
  • Reviewers
  • Contact Us
 
  • Login
  • Register
Home Articles List Article Information
  • Save Records
  • |
  • Printable Version
  • |
  • Recommend
  • |
  • How to cite Export to
    RIS EndNote BibTeX APA MLA Harvard Vancouver
  • |
  • Share Share
    CiteULike Mendeley Facebook Google LinkedIn Twitter Telegram
Categories and General Algebraic Structures with Applications
Articles in Press
Current Issue
Journal Archive
Volume Volume 8 (2018)
Volume Volume 7 (2017)
Volume Volume 6 (2017)
Volume Volume 5 (2016)
Issue Issue 1
Volume Volume 4 (2016)
Volume Volume 3 (2015)
Volume Volume 2 (2014)
Volume Volume 1 (2013)
Kianpi, M. (2016). On descent for coalgebras and type transformations. Categories and General Algebraic Structures with Applications, 5(1), 103-130.
Maurice Kianpi. "On descent for coalgebras and type transformations". Categories and General Algebraic Structures with Applications, 5, 1, 2016, 103-130.
Kianpi, M. (2016). 'On descent for coalgebras and type transformations', Categories and General Algebraic Structures with Applications, 5(1), pp. 103-130.
Kianpi, M. On descent for coalgebras and type transformations. Categories and General Algebraic Structures with Applications, 2016; 5(1): 103-130.

On descent for coalgebras and type transformations

Article 5, Volume 5, Issue 1, Summer and Autumn 2016, Page 103-130  XML PDF (250 K)
Document Type: Research Paper
Author
Maurice Kianpi
Laboratory of Algebra, Geometry and Applications, Department of Mathematics, Faculty of Science, University of Yaounde 1, P.O. Box 812, Yaounde, Republic of Cameroon.
Abstract
We find a criterion for a morphism of coalgebras over a Barr-exact category to be effective descent and determine (effective) descent morphisms for coalgebras over toposes in some cases. Also, we study some exactness properties of endofunctors of arbitrary categories in connection with natural transformations between them as well as those of functors that these transformations induce between corresponding categories of coalgebras.  As a result, we find conditions under which the induced functors preserve natural number objects as well as a criterion for them to be exact. Also this enable us to give a criterion for split epis in a category of coalgebras to be effective descent.
Keywords
Category; functor; coalgebra; natural transformation; (co)limits; (effective) descent morphism
References
[1] J. Adamek, Introduction to coalgebra, Theory Appl. Categ. 14(8) (2005), 157-199.
[2] J. Adamek, H.P. Gumm, and V. Trnkova, Presentation of set functors: A coalgebraic
perspective, preprint.
[3] J. Adamek, H. Herrlich, and G.E. Strecker, Abstract and Concrete Categories",
John Wiley and Sons, New York, 1990.
[4] J. Adamek and H.E. Porst, On varieties and covarieties in a category, Math. Structures
Comput. Sci. 13(2) 2003, 201-232.
[5] M. Barr, Right exact functors, J. Pure Appl. Algebra 4 (1974), 1-8.
[6] M. Barr and C.Wells, Toposes, Triples and Theories, Theory Appl. Categ. 12 (2005),
1-288.
[7] M.M. Clementino and G. Janelidze, A note on e ective descent morphisms of topo-
logical spaces and relational Algebras, Topology Appl. 158(17), (2011) 2431-2436.

[8] T. Everaert, E ective descent morphisms of regular epimorphisms, J. Pure Appl.
Algebra 216 (2012), 1896-1904.
[9] M. Gran, Notes on regular, exact and additive categories", Summer School on Category
Theory and Algebraic Topology, Ecole Polythecnique Federale de Lausanne,
11-13 September 2014.
[10] H.P. Gumm, From T-coalgebras to lter structures and transition systems, Chapter:
Algebra and Coalgebra in Computer Science, Lecture Notes in Comput. Sci. 3629
(2005), 194-212.
[11] H.P. Gumm, On coalgebras and type transformations, Discuss. Math. Gen. Algebra
Appl. 27 (2007), 187-197.
[12] H.P. Gumm, Elements of the general theory of coalgebras", LUATCS'99, Rand
Africaans University, Johannesburg, South Africa, 1999.
[13] H.P. Gumm, On minimal coalgebras, Appl. Categ. Structures 16(3) (2008), 313-332.
[14] H.P. Gumm and T. Schroder, Coalgebraic structures from weak limit preserving
functors, Electron. Notes Theor. Comput. Sci. 33 (2000), 113-133.
[15] H.P. Gumm and T. Schroder, Types and coalgebraic structure, Algebra Universalis
53 (2005), 229-252.
[16] H.P. Gumm and T. Schroder, Coalgebras of bounded types, Math. Structures Comput.
Sci. 12 (2002), 565-578.
[17] H.P. Gumm and T. Schroder, Products of coalgebras, Algebra Universalis 46 (2001),
163-185.
[18] G. Janelidze and W. Tholen, Facets of descent, I, Appl. Categ. Structures 2 (1994),
245-281.
[19] G. Janelidze and W. Tholen, Facets of descent, III: Monadic descent for rings and
algebras, Appl. Categ. Structures 12 (2004), 461-477.
[20] G. Janelidze, M. Sobral, and W. Tholen, Beyond Barr exactness: e ective descent
morphisms, Chapter VIII: Categorical Foundations: Special Topics in Order, Topology,
Algebra and Sheaf Theory, Encyclopedia of Math. Appl. 97, Cambridge University
Press (2004), 359-405.
[21] P. Johnstone, J. Power, T. Tsujishita, H.Watanabe, and J.Worrell, On the structure
of categories of coalgebras, Theoret. Comput. Sci. 260 (2001), 87-117.
[22] A. Joyal and M. Tierney, An extension of Galois Theory of Grothendieck, Mem.
Amer. Math. Soc. 51 (309) (1984).

[23] M. Kianpi and C. Nkuimi-Jugnia, A simpli cation functor for coalgebras, Int. J.
Math. Math. Sci. 2006 (2006), 1-9.
[24] M. Kianpi and C. Nkuimi-Jugnia, On simple and extensional coalgebras beyond Set,
Arab. J. Sci. Eng. 33(2C) (2008), 295-313.
[25] M. Kianpi and C. Nkuimi-Jugnia, A note on descent for coalgebras, Homology Homotopy
Appl., to appear.
[26] B. Mesablishvili, Descent in categories of (co)algebras, Homology Homotopy Appl.
7(1) (2005), 1-8.
[27] S. Lack, An embedding theorem for adhesive categories, Theory Appl. categ. 25(7)
(2011), 180-188.
[28] S. Lack and P. Sobocinski, Toposes are adhesive, Chapter: Graph transformations,
Lecture Notes in Comput. Sci. 4178 (2006), 184-198.
[29] M. Makkai, A theorem on Barr-Exact categories, with in nitary generalization, Ann.
Pure Appl. Logic 47 (1990), 225-268.
[30] M. Menni, A characterization of the left exact categories whose exact completions
are toposes, J. Pure Appl. Algebra 177 (2003), 287-301.
[31] I. Moerdijk, Descent theory for toposes, Bull. Soc. Math. Belgique 41(2) (1989),
373-391.
[32] J. Reiterman and W. Tholen, E ective descent maps of topological spaces, Topology
Appl. 57 (1994), 53-69.
[33] A.H. Roque, Notes on e ective descent and projectivity in quasivarieties of universal
algebras, Theory Appl. Categ. 21(9) (2008), 172-181.
[34] J.J.M.M. Rutten, Universal coalgebra: a theory of systems, Theoret. Comput. Sci.
249 (2000), 3-80.
[35] J.D.H. Smith, Permutation representations of left quasigroups, Algebra Universalis
55 (2006), 387-406.
[36] J. Worrell, A note on coalgebras and presheaves, Math. Structures Comput. Sci.
15(3) (2005), 475-483.

Statistics
Article View: 2,230
PDF Download: 1,036
Home | Glossary | News | Aims and Scope | Sitemap
Top Top

Journal Management System. Designed by sinaweb.