{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T11:03:28Z","timestamp":1784113408620,"version":"3.55.0"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T00:00:00Z","timestamp":1781222400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T00:00:00Z","timestamp":1781222400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100010653","name":"Masaryk University","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100010653","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":[[2026,8]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>We describe a simple criterion which makes it easy to recognise when a pseudomonad is lax-idempotent. The criterion concerns the behaviour of colax bilimits of arrows\u2014certain comma objects\u2014and is easy to verify in examples. Building on this, we obtain a new characterisation of lax-idempotent pseudomonads on 2-categories with colax bilimits of arrows.<\/jats:p>","DOI":"10.1007\/s10485-026-09871-1","type":"journal-article","created":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T15:52:00Z","timestamp":1781279520000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Recognition Criterion for Lax-Idempotent Pseudomonads"],"prefix":"10.1007","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4617-7798","authenticated-orcid":false,"given":"John","family":"Bourke","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,6,12]]},"reference":[{"key":"9871_CR1","first-page":"1","volume":"31","author":"J Beck","year":"2025","unstructured":"Beck, J.: The tripleableness theorem. Reprints Theory Appl. Categ. 31, 1\u201311 (2025)","journal-title":"Reprints Theory Appl. Categ."},{"key":"9871_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0022-4049(89)90160-6","volume":"59","author":"R Blackwell","year":"1989","unstructured":"Blackwell, R., Kelly, G.M., Power, A.J.: Two-dimensional monad theory. J. Pure Appl. Algebra 59, 1\u201341 (1989)","journal-title":"J. Pure Appl. Algebra"},{"key":"9871_CR3","unstructured":"Bourke, J., Jel\u00ednek, V.: Bicolimit presentations of type theories (in preparation)"},{"key":"9871_CR4","first-page":"430","volume":"40","author":"I Di Liberti","year":"2024","unstructured":"Di Liberti, I., Lobbia, G., Sousa, L.: KZ-monads and Kan injectivity. Theory Appl. Categ. 40, 430\u2013478 (2024)","journal-title":"Theory Appl. Categ."},{"key":"9871_CR5","doi-asserted-by":"publisher","first-page":"1372","DOI":"10.1016\/j.jpaa.2012.01.003","volume":"216","author":"R Garner","year":"2012","unstructured":"Garner, R., Lack, S.: Lex colimits. J. Pure Appl. Algebra 216, 1372\u20131396 (2012)","journal-title":"J. Pure Appl. Algebra"},{"key":"9871_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0061280","volume-title":"Formal Category Theory: Adjointness for 2-Categories, Lecture Notes in Mathematics","author":"JW Gray","year":"1974","unstructured":"Gray, J.W.: Formal Category Theory: Adjointness for 2-Categories, Lecture Notes in Mathematics, vol. 391. Springer, Berlin (1974)"},{"key":"9871_CR7","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/BFb0063105","volume":"420","author":"GM Kelly","year":"1974","unstructured":"Kelly, G.M.: Doctrinal adjunction. Lect. Notes Math. 420, 257\u2013280 (1974)","journal-title":"Lect. Notes Math."},{"key":"9871_CR8","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0022-4049(94)00111-U","volume":"104","author":"A Kock","year":"1995","unstructured":"Kock, A.: Monads for which structures are adjoint to units, Aarhus University, 1973: revised version). J. Pure Appl. Algebra 104, 41\u201359 (1995)","journal-title":"J. Pure Appl. Algebra"},{"key":"9871_CR9","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s10485-005-2958-5","volume":"13","author":"S Lack","year":"2005","unstructured":"Lack, S.: Limits for lax morphisms. Appl. Categ. Struct. 13, 189\u2013203 (2005)","journal-title":"Appl. Categ. Struct."},{"key":"9871_CR10","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. Appl. Categ. Struct. 18, 289\u2013307 (2010)","journal-title":"Appl. Categ. Struct."},{"key":"9871_CR11","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1016\/j.aim.2011.08.014","volume":"229","author":"S Lack","year":"2012","unstructured":"Lack, S., Shulman, M.: Enhanced $$2$$-categories and limits for lax morphisms. Adv. Math. 229, 294\u2013356 (2012)","journal-title":"Adv. Math."},{"key":"9871_CR12","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/S0022-4049(02)00038-5","volume":"173","author":"IJ Le Creurer","year":"2002","unstructured":"Le Creurer, I.J., Marmolejo, F., Vitale, E.M.: Beck\u2019s theorem for pseudo-monads. J. Pure Appl. Algebra 173, 293\u2013313 (2002)","journal-title":"J. Pure Appl. Algebra"},{"key":"9871_CR13","first-page":"91","volume":"5","author":"F Marmolejo","year":"1999","unstructured":"Marmolejo, F.: Distributive laws for pseudomonads. Theory Appl. Categ. 5, 91\u2013147 (1999)","journal-title":"Theory Appl. Categ."},{"key":"9871_CR14","first-page":"1","volume":"26","author":"F Marmolejo","year":"2012","unstructured":"Marmolejo, F., Wood, R.: Kan extensions and lax-idempotent pseudomonads. Theory Appl. Categ. 26, 1\u201329 (2012)","journal-title":"Theory Appl. Categ."},{"key":"9871_CR15","doi-asserted-by":"publisher","DOI":"10.1017\/9781108936880","volume-title":"Elements of $$\\infty $$-Category Theory","author":"E Riehl","year":"2022","unstructured":"Riehl, E., Verity, D.: Elements of $$\\infty $$-Category Theory. Cambridge University Press, Cambridge (2022)"},{"key":"9871_CR16","unstructured":"\u0160t\u011bp\u00e1n, M.: Lax structures in 2-category theory. PhD Thesis, Masaryk University (2025). arXiv:2504.04467"},{"key":"9871_CR17","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/BFb0063101","volume":"420","author":"R Street","year":"1974","unstructured":"Street, R.: Review of the elements of $$2$$-categories. Lect. Notes Math. 420, 75\u2013103 (1974)","journal-title":"Lect. Notes Math."},{"key":"9871_CR18","first-page":"111","volume":"21","author":"R Street","year":"1980","unstructured":"Street, R.: Fibrations in bicategories. Cah. Topol. Geom. Diff\u00e9r. Cat\u00e9g. 21, 111\u2013160 (1980)","journal-title":"Cah. Topol. Geom. Diff\u00e9r. Cat\u00e9g."},{"issue":"3","key":"9871_CR19","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1017\/S0960129523000208","volume":"33","author":"T Uemura","year":"2023","unstructured":"Uemura, T.: A general framework for the semantics of type theory. Math. Struct. Comput. Sci. 33(3), 134\u2013179 (2023)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9871_CR20","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/BF01214522","volume":"148","author":"V Z\u00f6berlein","year":"1976","unstructured":"Z\u00f6berlein, V.: Doctrines on 2-categories. Math. Z. 148, 267\u2013279 (1976)","journal-title":"Math. Z."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-026-09871-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-026-09871-1","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-026-09871-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T10:03:39Z","timestamp":1784109819000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-026-09871-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,12]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2026,8]]}},"alternative-id":["9871"],"URL":"https:\/\/doi.org\/10.1007\/s10485-026-09871-1","relation":{"has-preprint":[{"id-type":"doi","id":"10.21203\/rs.3.rs-8407365\/v1","asserted-by":"object"}]},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,6,12]]},"assertion":[{"value":"19 December 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 April 2026","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 June 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare no competing interests.","order":1,"name":"Ethics","label":"Conflict of interest","group":{"name":"EthicsHeading","label":"Declarations"}}],"article-number":"39"}}