Abstract
We categorify cocompleteness results of monad theory, in the context of pseudomonads. We first prove a general result establishing that, in any 2-category, weighted bicolimits can be constructed from oplax bicolimits and bicoequalizers of codescent objects. After prerequisites on pseudomonads and their pseudo-algebras, we give a 2-dimensional Linton theorem reducing bicocompleteness of 2-categories of pseudo-algebras to existence of bicoequalizers of codescent objects. Finally we prove this condition to be fulfilled in the case of a bifinitary pseudomonad, ensuring bicocompleteness.
Similar content being viewed by others
Data Availibility
Sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Barr, M., Wells, C.: Toposes, Triples, and Theories. Springer, New York (2000)
Betti, R., Grandis, M.: Complete theories in \(2\)-categories. Cah. Topol. Géom. Différ. Catég. 29(1), 9–57 (1988)
Blackwell, R., Kelly, G.M., Power, A.J.: Two-dimensional monad theory. J. Pure Appl. Algebra 59(1), 1–41 (1989)
Borceux, F.: Handbook of Categorical Algebra, Volume 2: Categories and Structures, vol. 2. Cambridge University Press, Cambridge (1994)
Bourke, J.: Codescent Objects in 2-Dimensional Universal Algebra. PhD Thesis, University of Sydney (2010)
Descotte, M.E., Dubuc, E.J., Szyld, M.: Sigma limits in 2-categories and flat pseudofunctors. Adv. Math. 333, 266–313 (2018)
Di Liberti, I., Osmond, A.: Bi-accessible and bipresentable 2-categories. arXiv preprint arXiv:2203.07046 (2022)
Garner, R., Lack, S.: Lex colimits. J. Pure Appl. Algebra 216(6), 1372–1396 (2012)
Lack, S.: Codescent objects and coherence. J. Pure Appl. Algebra 175(1–3), 223–241 (2002)
Le Creurer, I.J., Marmolejo, F., Vitale, E.M.: Beck’s theorem for pseudo-monads. J. Pure Appl. Algebra 173(3), 293–313 (2002)
Linton, F.E.J.: Coequalizers in categories of algebras. In: Eckmann, B. (ed.) Seminar on Triples and Categorical Homology Theory, pp. 75–90. Springer, Berlin (1969)
Nunes, F.L.: Pseudomonads and Descent. PhD Thesis, Universidade de Coimbra (Portugal) (2017)
Osmond, A.: A categorical study of spectral dualities. Theses Université de Paris (2021)
Shulman, M.A.: Not every pseudoalgebra is equivalent to a strict one. Adv. Math. 229(3), 2024–2041 (2012)
Street, R.: Limits indexed by category-valued 2-functors. J. Pure Appl. Algebra 8(2), 149–181 (1976)
Funding
The author acknowledges the support of the Grothendieck Institute through his post-doctoral fellowship inside the project Topos theory and its applications.
Author information
Authors and Affiliations
Contributions
Axel Osmond is the author of this paper.
Corresponding author
Ethics declarations
Conflict of interest
The author declares that there are no Conflict of interest.
Additional information
Communicated by Nicola Gambino.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Osmond, A. Codescent and Bicolimits of Pseudo-Algebras. Appl Categor Struct 32, 11 (2024). https://doi.org/10.1007/s10485-024-09765-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10485-024-09765-0
Keywords
- Codescent
- Bicolimits
- Pseudo-algebras
- Pseudomonad
- Bifinitary
- Transfinite induction
- Bicoequalizer of codescent object