Finite-product-preserving functors, Kan extensions, and strongly-finitary monads

G.M. Kelly and Stephen Lack

This appeared in Applied Categorical Structures 1:84-94, 1993.

We study those 2-monads on the 2-category Cat 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.


Steve Lack
Last modified: Tue Sep 12 16:54:53 EST 2000