{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T00:00:40Z","timestamp":1774656040389,"version":"3.50.1"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2022,1,31]],"date-time":"2022-01-31T00:00:00Z","timestamp":1643587200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,1,31]],"date-time":"2022-01-31T00:00:00Z","timestamp":1643587200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-19-1-0113"],"award-info":[{"award-number":["FA9550-19-1-0113"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-17-1-0058"],"award-info":[{"award-number":["FA9550-17-1-0058"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000020","name":"Fields Institute for Research in Mathematical Sciences","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000020","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002790","name":"Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["501260"],"award-info":[{"award-number":["501260"]}],"id":[{"id":"10.13039\/501100002790","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2022,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>One way of interpreting a left Kan extension is as taking a kind of \u201cpartial colimit\u201d, whereby one replaces parts of a diagram by their colimits.  We make this intuition precise by means of the <jats:italic>partial evaluations<\/jats:italic> sitting in the so-called bar construction of monads. The (pseudo)monads of interest for forming colimits are the monad of diagrams and the monad of small presheaves, both on the (huge) category CAT of locally small categories. Throughout, particular care is taken to handle size issues, which are notoriously delicate in the context of free cocompletion. We spell out, with all 2-dimensional details, the structure maps of these pseudomonads. Then, based on a detailed general proof of how the <jats:italic>restriction-of-scalars<\/jats:italic> construction of monads extends to the case of pseudoalgebras over pseudomonads, we consider a morphism of monads between them, which we call <jats:italic>image<\/jats:italic>. This morphism allows in particular to generalize the idea of <jats:italic>confinal functors<\/jats:italic>, i.e.\u00a0of functors which leave colimits invariant in an absolute way. This generalization includes the concept of absolute colimit as a special case. The main result of this paper spells out how a pointwise left Kan extension of a diagram corresponds precisely to a partial evaluation of its colimit. This categorical result is analogous to what happens in the case of probability monads, where a conditional expectation of a random variable corresponds to a partial evaluation of its center of mass.<\/jats:p>","DOI":"10.1007\/s10485-021-09671-9","type":"journal-article","created":{"date-parts":[[2022,1,31]],"date-time":"2022-01-31T07:05:01Z","timestamp":1643612701000},"page":"685-753","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Kan Extensions are Partial Colimits"],"prefix":"10.1007","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9123-9089","authenticated-orcid":false,"given":"Paolo","family":"Perrone","sequence":"first","affiliation":[]},{"given":"Walter","family":"Tholen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,1,31]]},"reference":[{"key":"9671_CR1","unstructured":"Barr, M., Wells, C.: Toposes, triples, and theories. Grundlehren der mathematischen Wissenschaften 278. Springer, Berlin (1983)"},{"key":"9671_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511525865","volume-title":"Handbook of Categorical Algebra I","author":"F Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of Categorical Algebra I. Cambridge University Press, Cambridge (1994)"},{"key":"9671_CR3","unstructured":"Bourbaki, N.: Algebra I. Hermann (1974)"},{"key":"9671_CR4","doi-asserted-by":"crossref","unstructured":"Chach\u00f3lski, W., Scherer, J.: Homotopy theory of diagrams. Memoirs Am. Math. Soc., 736 (2002)","DOI":"10.1090\/memo\/0736"},{"key":"9671_CR5","unstructured":"Constantin, C., Fritz, T., Perrone, P., Shapiro, B.: Partial evaluations and the compositional structure of the bar construction. arXiv:2009.07302. (2020)"},{"key":"9671_CR6","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1016\/j.jpaa.2006.10.019","volume":"210","author":"BJ Day","year":"2007","unstructured":"Day, B.J., Lack, S.: Limits of small functors. J. Pure Appl. Algebra 210, 651\u2013663 (2007)","journal-title":"J. Pure Appl. Algebra"},{"key":"9671_CR7","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1090\/S0002-9947-1945-0013131-6","volume":"58.2","author":"S Eilenberg","year":"1945","unstructured":"Eilenberg, S., MacLane, S.: General theory of natural equivalences. Trans. Am. Math. Soc 58.2, 231\u2013294 (1945)","journal-title":"Trans. Am. Math. Soc"},{"key":"9671_CR8","first-page":"170","volume":"34.7","author":"T Fritz","year":"2019","unstructured":"Fritz, T., Perrone, P.: A probability monad as the colimit of spaces of finite samples. Theory Appl. Categ. 34.7, 170\u2013220 (2019)","journal-title":"Theory Appl. Categ."},{"key":"9671_CR9","doi-asserted-by":"crossref","unstructured":"Fritz, T., Perrone, P.: Monads, partial evaluations, and rewriting. In: Proceedings of MFPS 36, ENTCS (2020)","DOI":"10.1016\/j.entcs.2020.09.007"},{"key":"9671_CR10","doi-asserted-by":"crossref","unstructured":"Gabriel, P., Ulmer, F.: Lokal pr\u00e4sentierbare Kategorien. Lecture Notes in Mathematics 221. Springer, Berlin (1971)","DOI":"10.1007\/BFb0059396"},{"key":"9671_CR11","doi-asserted-by":"publisher","unstructured":"Giry, M.: A categorical approach to probability theory. In: Lecture Notes in Mathematics 915: Categorical Aspects of Topology and Analysis. Springer, Berlin, pp. 68\u201385 (1982). https:\/\/doi.org\/10.1007\/BFb0092872","DOI":"10.1007\/BFb0092872"},{"key":"9671_CR12","first-page":"181","volume":"14.2","author":"R Guitart","year":"1973","unstructured":"Guitart, R.: Sur le foncteur diagramme. Cahiers de topologie et g\u00e9om\u00e9trie diff\u00e9rentielle cat\u00e9goriques 14.2, 181\u2013182 (1973)","journal-title":"Cahiers de topologie et g\u00e9om\u00e9trie diff\u00e9rentielle cat\u00e9goriques"},{"key":"9671_CR13","volume-title":"Grundz\u00fcge der Mengenlehre","author":"F Hausdorff","year":"1914","unstructured":"Hausdorff, F.: Grundz\u00fcge der Mengenlehre. Veit & comp, Leipzig (1914)"},{"key":"9671_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1215\/ijm\/1255456274","volume":"4","author":"JR Isbell","year":"1960","unstructured":"Isbell, J.R.: Adequate subcategories. Illinois J. Math. 4, 1\u201333 (1960)","journal-title":"Illinois J. Math."},{"key":"9671_CR15","unstructured":"Kelly, G. M.: Basic concepts in enriched category theory. Available at Reprints in TAC, No. 10, 2005. Cambridge University Press, Cambridge (1982)"},{"key":"9671_CR16","unstructured":"Kock, A.: Limit monads in categories. Ph.D thesis. University of Chicago (1967)"},{"key":"9671_CR17","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1006\/aima.1999.1881","volume":"52","author":"S Lack","year":"2000","unstructured":"Lack, S.: A coherent approach to pseudomonads. Adv. Math. 52, 179\u2013202 (2000)","journal-title":"Adv. Math."},{"key":"9671_CR18","doi-asserted-by":"crossref","unstructured":"Lambek, J.: Completions of Categories. Lecture Notes in Mathematics 24. Springer, Berlin (1966)","DOI":"10.1007\/BFb0077270"},{"key":"9671_CR19","unstructured":"Loregian, F.: Coend calculus. arXiv:1501.02503. (2015)"},{"issue":"15","key":"9671_CR20","first-page":"390","volume":"33","author":"FL Nunes","year":"2018","unstructured":"Nunes, F.L.: Pseudo\u2013Kan extensions and descent theory. Theory Appl. Categ. 33(15), 390\u2013444 (2018)","journal-title":"Theory Appl. Categ."},{"key":"9671_CR21","volume-title":"Categories for the Working Mathematician","author":"SM Lane","year":"1998","unstructured":"Lane, S.M.: Categories for the Working Mathematician, 2nd edn. Springer, Berlin (1998)","edition":"2"},{"key":"9671_CR22","first-page":"22","volume":"3.2","author":"F Marmolejo","year":"1997","unstructured":"Marmolejo, F.: Doctrines whose structures forms a fully faithful adjoint string. Theory Appl. Categories 3.2, 22\u201342 (1997)","journal-title":"Theory Appl. Categories"},{"key":"9671_CR23","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/0022-4049(73)90003-0","volume":"3","author":"R Par\u00e9","year":"1973","unstructured":"Par\u00e9, R.: Connected components and colimits. J. Pure Appl. Algebr. 3, 21\u201342 (1973)","journal-title":"J. Pure Appl. Algebr."},{"key":"9671_CR24","doi-asserted-by":"crossref","unstructured":"Par\u00e9, R.: On absolute colimits. J. Algebra, 19 (11971), 80\u201395","DOI":"10.1016\/0021-8693(71)90116-5"},{"key":"9671_CR25","unstructured":"Perrone, P.: Categorical Probability and Stochastic Dominance in Metric Spaces. Available at http:\/\/paoloperrone.org\/phdthesis.pdf. Ph.D thesis. University of Leipzig (2018)"},{"key":"9671_CR26","unstructured":"Peschke, G., Tholen, W.: Diagrams, Fibrations, and the Decomposition of Colimits. arXiv:2006.10890 (2020)"},{"key":"9671_CR27","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107261457","volume-title":"Categorical Homotopy Theory","author":"E Riehl","year":"2014","unstructured":"Riehl, E.: Categorical Homotopy Theory. Cambridge University Press, Cambridge (2014)"},{"key":"9671_CR28","doi-asserted-by":"crossref","unstructured":"Street, R., Walters, R. F. C.: The comprehensive factorization of a functor. Bull. Am. Math. Soc. 79(5) (1973)","DOI":"10.1090\/S0002-9904-1973-13268-9"},{"key":"9671_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01583776","volume":"23","author":"A Weil","year":"1982","unstructured":"Weil, A.: Adeles and algebraic groups. Progress Math. 23, 1\u20133 (1982)","journal-title":"Progress Math."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-021-09671-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-021-09671-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-021-09671-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,8]],"date-time":"2022-07-08T08:34:13Z","timestamp":1657269253000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-021-09671-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,31]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2022,8]]}},"alternative-id":["9671"],"URL":"https:\/\/doi.org\/10.1007\/s10485-021-09671-9","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,1,31]]},"assertion":[{"value":"3 October 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 December 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 January 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}