{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T19:17:12Z","timestamp":1757618232938,"version":"3.44.0"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T00:00:00Z","timestamp":1750032000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T00:00:00Z","timestamp":1750032000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000266","name":"EPSRC","doi-asserted-by":"crossref","award":["EP\/V002325\/2"],"award-info":[{"award-number":["EP\/V002325\/2"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2025,8]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>A pseudomonad on a 2-category whose underlying endomorphism is a 2-functor can be seen as a diagram <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\textbf{Psmnd} \\rightarrow \\textbf{Gray}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>Psmnd<\/mml:mi>\n                    <mml:mo>\u2192<\/mml:mo>\n                    <mml:mi>Gray<\/mml:mi>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> for which weighted limits and colimits can be considered. The 2-category of pseudoalgebras, pseudomorphisms and 2-cells is such a Gray-enriched weighted limit [21], however neither the Kleisli bicategory nor the 2-category of free pseudoalgebras are the analogous weighted colimit [13]. In this paper we describe the actual weighted colimit via a presentation, and show that the comparison 2-functor induced by any other pseudoadjunction splitting the original pseudomonad is bi-fully faithful. As a consequence, we see that biessential surjectivity on objects characterises left pseudoadjoints whose codomains have an \u2018up to biequivalence\u2019 version of the universal property for Kleisli objects. This motivates a homotopical study of Kleisli objects for pseudomonads, and to this end we show that the weight for Kleisli objects is cofibrant in the projective model structure on the enriched functor category <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$[\\textbf{Psmnd}^\\text {op} , \\textbf{Gray}]$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mo>[<\/mml:mo>\n                    <mml:msup>\n                      <mml:mi>Psmnd<\/mml:mi>\n                      <mml:mtext>op<\/mml:mtext>\n                    <\/mml:msup>\n                    <mml:mo>,<\/mml:mo>\n                    <mml:mi>Gray<\/mml:mi>\n                    <mml:mo>]<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula>.<\/jats:p>","DOI":"10.1007\/s10485-025-09810-6","type":"journal-article","created":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T01:00:52Z","timestamp":1750035652000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Enriched Kleisli Objects for Pseudomonads"],"prefix":"10.1007","volume":"33","author":[{"given":"Adrian","family":"Miranda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,6,16]]},"reference":[{"key":"9810_CR1","doi-asserted-by":"publisher","unstructured":"Adamek, J., Rosicky, J. Locally Presentable and Accessible Categories (London Mathematical Society Lecture Note Series). Cambridge: Cambridge University Press. https:\/\/doi.org\/10.1017\/CBO9780511600579,(1994)","DOI":"10.1017\/CBO9780511600579,"},{"key":"9810_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0022-4049(88)90073-4","volume":"51","author":"MH Albert","year":"1988","unstructured":"Albert, M.H., Kelly, G.. M.: The closure of a class of colimits. Journal of Pure and Applied Algebra 51, 1\u201317 (1988)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"9810_CR3","unstructured":"Beck, J.: Handwritten notes, (1968) available at https:\/\/ncatlab.org\/nlab\/files\/Beck_MonadicityTheorem.pdf"},{"key":"9810_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0022-4049(89)90065-0","volume":"61","author":"GJ Bird","year":"1989","unstructured":"Bird, G.J., Kelly, G.M., Power, A.J., Street, R.H.: Flexible limits for 2-categories. Journal of Pure and Applied Algebra 61, 1\u201327 (1989)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"9810_CR5","doi-asserted-by":"crossref","unstructured":"Blackwell, R., Kelly, G. M., Power, A.J.: Two-dimensional monad theory, Journal of Pure and Applied Algebra, Vol. 59, l-41 (1989)","DOI":"10.1016\/0022-4049(89)90160-6"},{"issue":"7","key":"9810_CR6","doi-asserted-by":"publisher","first-page":"2948","DOI":"10.1016\/j.jpaa.2018.10.004","volume":"223","author":"A Campbell","year":"2019","unstructured":"Campbell, A.: How strict is strictification? Journal of Pure and Applied Algebra 223(7), 2948\u20132976 (2019)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"9810_CR7","doi-asserted-by":"crossref","unstructured":"Cheng, E., Hyland, M., Power, J., Pseudo-distributive Laws, Electronic Notes in Theoretical Computer Science, Vol. 83, pp. 227-245, ISSN 1571-0661, (2003)","DOI":"10.1016\/S1571-0661(03)50012-3"},{"issue":"3","key":"9810_CR8","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1215\/ijm\/1256068141","volume":"9","author":"S Eilenberg","year":"1965","unstructured":"Eilenberg, S., Moore, J.: Adjoint functors and triples. Illinois Journal of Mathematics 9(3), 381\u2013398 (1965)","journal-title":"Illinois Journal of Mathematics"},{"issue":"29","key":"9810_CR9","doi-asserted-by":"publisher","first-page":"1136","DOI":"10.70930\/tac\/pn0rlq1b","volume":"38","author":"G Ferrer","year":"2022","unstructured":"Ferrer, G.: Gray-categories model algebraic tricategories. Theory and Applications of Categories 38(29), 1136\u20131155 (2022)","journal-title":"Theory and Applications of Categories"},{"key":"9810_CR10","doi-asserted-by":"crossref","unstructured":"Fiore, M., Gambino, N., Hyland, M., Winskel, G., The cartesian closed bicategory of generalised species of structures, Journal of the London Mathematical Society, Vol. 77, Issue 1, pp 203-220, (2008), available at https:\/\/doi.org\/10.1112\/jlms\/jdm096","DOI":"10.1112\/jlms\/jdm096"},{"issue":"1","key":"9810_CR11","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1017\/S0305004108001266","volume":"145","author":"N Gambino","year":"2008","unstructured":"Gambino, N.: Homotopy limits for 2-categories. Mathematical Proceedings of the Cambridge Philosophical Society 145(1), 43\u201363 (2008)","journal-title":"Mathematical Proceedings of the Cambridge Philosophical Society"},{"key":"9810_CR12","unstructured":"Gambino, N., Garner, R., Vasilakopoulou, C., Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences, (2022), available at arxiv:2206.06858"},{"issue":"2","key":"9810_CR13","doi-asserted-by":"publisher","first-page":"14","DOI":"10.70930\/tac\/4c53gqla","volume":"37","author":"N Gambino","year":"2021","unstructured":"Gambino, N., Lobbia, G.: On the formal theory of pseudomonads and pseudodistributive laws. Theory and Applications of Categories 37(2), 14\u201356 (2021)","journal-title":"Theory and Applications of Categories"},{"key":"9810_CR14","doi-asserted-by":"crossref","unstructured":"Gray, J. W.: Formal Category Theory: Adjointness for 2-categories, Springer Lecture Notes in Mathematics, Vol. 391, (1974)","DOI":"10.1007\/BFb0061280"},{"key":"9810_CR15","doi-asserted-by":"crossref","unstructured":"Gurski, N.: Coherence in Three-Dimensional Category Theory, Cambridge Tracts in Mathematics, Vol. 201, (2013)","DOI":"10.1017\/CBO9781139542333"},{"key":"9810_CR16","unstructured":"Hovey, M.: Model Categories, Mathematical Surveys and Monographs, Vol. 63, (1999)"},{"key":"9810_CR17","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1016\/j.tcs.2014.03.005","volume":"546","author":"JME Hyland","year":"2014","unstructured":"Hyland, J.M.E.: Elements of a theory of algebraic theories. Theoretical Computer Science 546, 132\u2013144 (2014)","journal-title":"Theoretical Computer Science"},{"key":"9810_CR18","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1006\/inco.1996.0057","volume":"127","author":"A Joyal","year":"1996","unstructured":"Joyal, A., Nielsen, M., Winskel, G.: Bisimulation from open maps. Information and Computation 127, 164\u2013185 (1996)","journal-title":"Information and Computation"},{"key":"9810_CR19","unstructured":"Kelly, G. M.: Basic concepts of enriched category theory, Reprints in Theory and Applications of Categories, No. 10, (2005)"},{"issue":"3","key":"9810_CR20","doi-asserted-by":"publisher","first-page":"544","DOI":"10.1090\/S0002-9939-1965-0177024-4","volume":"16","author":"H Kleisli","year":"1965","unstructured":"Kleisli, H.: Every standard construction is induced by a pair of adjoint functors. Proceedings of the American Mathematical Society 16(3), 544\u2013546 (1965)","journal-title":"Proceedings of the American Mathematical Society"},{"key":"9810_CR21","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1006\/aima.1999.1881","volume":"152","author":"S Lack","year":"2000","unstructured":"Lack, S.: A coherent approach to pseudomonads. Advances in Mathematics 152, 179\u2013202 (2000)","journal-title":"Advances in Mathematics"},{"key":"9810_CR22","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/s10485-008-9136-5","volume":"18","author":"S Lack","year":"2010","unstructured":"Lack, S.: Icons. Applied Categorical Structures 18, 289\u2013307 (2010)","journal-title":"Applied Categorical Structures"},{"key":"9810_CR23","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1023\/A:1020305604826","volume":"26","author":"S Lack","year":"2002","unstructured":"Lack, S.: A Quillen model structure for $$2$$-categories. K-Theory 26, 171\u2013205 (2002)","journal-title":"K-Theory"},{"issue":"2","key":"9810_CR24","first-page":"229","volume":"2","author":"S Lack","year":"2007","unstructured":"Lack, S.: Homotopy theoretic aspects of 2-monads. Journal of Homotopy and Related Structures 2(2), 229\u2013260 (2007)","journal-title":"Journal of Homotopy and Related Structures"},{"key":"9810_CR25","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/S0022-4049(02)00137-8","volume":"175","author":"S Lack","year":"2002","unstructured":"Lack, S., Street, S.: The Formal Theory of Monads II. Journal of Pure and Applied Algebra 175, 243\u2013265 (2002)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"9810_CR26","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/S0022-4049(02)00038-5","volume":"173","author":"IJ Le Creurer","year":"2000","unstructured":"Le Creurer, I.J., Marmolejo, F., Vitale, E.M.: Beck\u2019s theorem for pseudo-monads. Journal of Pure and Applied Algebra 173, 293\u2013313 (2000)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"9810_CR27","doi-asserted-by":"crossref","unstructured":"MacLane, S.: Categories for the working mathematician, Springer-Verlag, New York, Graduate Texts in Mathematics, Vol. 5, (1971)","DOI":"10.1007\/978-1-4612-9839-7"},{"issue":"5","key":"9810_CR28","first-page":"81","volume":"5","author":"F Marmolejo","year":"1999","unstructured":"Marmolejo, F.: Distributive laws for pseudomonads I. Theory and Applications of Categories 5(5), 81\u2013147 (1999)","journal-title":"Theory and Applications of Categories"},{"issue":"2","key":"9810_CR29","first-page":"22","volume":"3","author":"F Marmolejo","year":"1997","unstructured":"Marmolejo, F.: Doctrines whose structure forms a fully faithful adjoint string. Theory and Applications of Categories 3(2), 22\u201323 (1997)","journal-title":"Theory and Applications of Categories"},{"key":"9810_CR30","unstructured":"Miranda, A.: Topics in Low Dimensional Higher Category Theory, Ph. D. Thesis, Macquarie University, available at https:\/\/doi.org\/10.25949\/24872088.v1 (2023)"},{"key":"9810_CR31","unstructured":"Miranda, A.: Strictifying operational coherences and weak functor classifiers in low dimensions, in preparation, available at https:\/\/arxiv.org\/abs\/2307.01498"},{"key":"9810_CR32","unstructured":"Miranda, A.: Tricategorical universal properties via enriched homotopy theory, available at arxiv:2409.01837"},{"issue":"1","key":"9810_CR33","doi-asserted-by":"publisher","first-page":"4","DOI":"10.70930\/tac\/utlzllg2","volume":"19","author":"S Niefield","year":"2007","unstructured":"Niefield, S.: Exponentiability in homotopy slices of TOP and Pseudo-slices of CAT. Theory and Applications of Categories 19(1), 4\u201318 (2007)","journal-title":"Theory and Applications of Categories"},{"issue":"2","key":"9810_CR34","doi-asserted-by":"publisher","first-page":"279","DOI":"10.4310\/HHA.2019.v21.n2.a15","volume":"21","author":"L Moser","year":"2019","unstructured":"Moser, L.: Injective and projective model structures on enriched diagram categories. Homology, Homotopy and Applications 21(2), 279\u2013300 (2019)","journal-title":"Homology, Homotopy and Applications"},{"issue":"1","key":"9810_CR35","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1017\/S0305004100070092","volume":"110","author":"AJ Power","year":"1991","unstructured":"Power, A.J., Robinson, E.: A characterization of pie limits. Mathematical Proceedings of the Cambridge Philosophical Society 110(1), 33\u201347 (1991). https:\/\/doi.org\/10.1017\/S0305004100070092","journal-title":"Mathematical Proceedings of the Cambridge Philosophical Society"},{"issue":"1","key":"9810_CR36","first-page":"81","volume":"27","author":"S Schanuel","year":"1986","unstructured":"Schanuel, S., Street, R.: The free adjunction. Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques, Tome 27(1), 81\u201383 (1986)","journal-title":"Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques, Tome"},{"key":"9810_CR37","unstructured":"Shulman, M.: Homotopy limits and colimits and enriched homotopy theory, (2006) available at arXiv:math\/0610194"},{"key":"9810_CR38","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0022-4049(72)90019-9","volume":"2","author":"R Street","year":"1978","unstructured":"Street, R.: The formal theory of monads. Journal of Pure and Applied Algebra 2, 149\u2013168 (1978)","journal-title":"Journal of Pure and Applied Algebra"},{"issue":"2","key":"9810_CR39","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0022-4049(76)90013-X","volume":"8","author":"R Street","year":"1976","unstructured":"Street, R.: Limits indexed by category valued 2-functors. Journal of Pure and Applied Algebra 8(2), 149\u2013181 (1976)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"9810_CR40","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107261457","author":"E Riehl","year":"2014","unstructured":"Riehl, E.: Categorical Homotopy Theory, New Mathematical Monographs. Cambridge University Press (2014). https:\/\/doi.org\/10.1017\/CBO9781107261457","journal-title":"Cambridge University Press"},{"key":"9810_CR41","doi-asserted-by":"publisher","first-page":"802","DOI":"10.1016\/j.aim.2015.09.011","volume":"286","author":"E Riehl","year":"2016","unstructured":"Riehl, E., Verity, D.: Homotopy coherent adjunctions and the formal theory of monads. Advances in Mathematics 286, 802\u2013888 (2016)","journal-title":"Advances in Mathematics"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-025-09810-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-025-09810-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-025-09810-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,6]],"date-time":"2025-09-06T19:32:43Z","timestamp":1757187163000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-025-09810-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,16]]},"references-count":41,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,8]]}},"alternative-id":["9810"],"URL":"https:\/\/doi.org\/10.1007\/s10485-025-09810-6","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[2025,6,16]]},"assertion":[{"value":"14 December 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 May 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 June 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The author has no competing interests to declare that are relevant to the content of this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing Interest Declaration"}},{"value":"The authors declare no competing interests.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"23"}}