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 to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
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.
The first author gratefully acknowledges the support of the Australian Research Council.
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
Mathematics Subject Classifications (1991)
- Categories with structure
- finite-product-preserving functors
- Kan extensions