Abstract
One way of interpreting a left Kan extension is as taking a kind of “partial colimit”, whereby one replaces parts of a diagram by their colimits. We make this intuition precise by means of the partial evaluations 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 restriction-of-scalars construction of monads extends to the case of pseudoalgebras over pseudomonads, we consider a morphism of monads between them, which we call image. This morphism allows in particular to generalize the idea of confinal functors, i.e. of 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.
Highlights
Kan extensions are a prominent tool of category theory, to the extent that, already in the preface to the first edition of [21], Mac Lane declared that “all concepts of category theory are Kan extensions”, a claim reinforced more recently in [27, Chapter 1]
We show that the image presheaf induces a morphism of monads from the monad of diagrams to the monad of small presheaves, which in turn gives a pullback functor between the categories of algebras
This result may be summarized in the following way: given small presheaves P and Q on a locally small, small-cocomplete category, Q is a partial colimit of P if and only if they can be written as image presheaves of small diagrams D and D, in such a way that D is the left Kan extension of D along some functor
Summary
Kan extensions are a prominent tool of category theory, to the extent that, already in the preface to the first edition of [21], Mac Lane declared that “all concepts of category theory are Kan extensions”, a claim reinforced more recently in [27, Chapter 1]. We show that the image presheaf induces a morphism of monads from the monad of diagrams to the monad of small presheaves, which in turn gives a pullback functor between the categories of algebras (we prove the 2-dimensional version of this statement in Appendix A.3). For the monad of small presheaves, we show that partial evaluations correspond to pointwise left Kan extensions along arbitrary functors This result may be summarized in the following way: given small presheaves P and Q on a locally small, small-cocomplete category, Q is a partial colimit of P if and only if they can be written as image presheaves of small diagrams D and D , in such a way that D is the left Kan extension of D along some functor. In Theorem 5.10 we prove that partial colimits for the free cocompletion monad correspond to pointwise left Kan extensions of diagrams along arbitrary functors. By “cocomplete category” we always mean a possibly large, locally small category which admits all small colimits
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have