Abstract
We study those 2-monads on the 2-categoryCat of categories which, as endofunctors, are the left Kan extensions of their restrictions to the sub-2-category of finite discrete categories, describing their algebras syntactically. Showing that endofunctors of this kind are closed under composition involves a lemma on left Kan extensions along a coproduct-preserving functor in the context of cartesian closed categories, which is closely related to an earlier result of Borceux and Day.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
F. Borceux and B.J. Day: 1977, ‘On product-preserving Kan extensions’,Bull. Austral. Math. Soc. 17, 247–255.
B.J. Day: 1970, ‘Construction of biclosed categories’, Ph.D. Thesis, University of New South Wales.
G.M. Kelly: 1980, ‘A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on’,Bull. Austral. Mat. Soc. 22, 1–83.
G.M. Kelly: 1982,Basic Concepts of Enriched Category Theory, London Math. Soc. Lecture Notes Series 64, Cambridge Univ. Press.
G.M. Kelly: 1982, ‘Structures defined by finite limits in the enriched context I’,Cahiers de Topologie et Géometrie Différentielle 23, 3–42.
G.M. Kelly and A.J. Power: ‘Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads’,J. Pure Appl. Algebra, to appear.
Author information
Authors and Affiliations
Additional information
The first author gratefully acknowledges the support of the Australian Research Council.
Rights and permissions
About this article
Cite this article
Kelly, G.M., Lack, S. Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads. Appl Categor Struct 1, 85–94 (1993). https://doi.org/10.1007/BF00872987
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00872987