The Kan extension of a functor with respect to a functor
is, if it exists, a kind of best approximation to the problem of finding a functor such that
hence to extending the domain of through from to .
Similarly, a Kan lift is the best approximation to lifting a morphism through a morphism
to a morphism
Kan extensions are ubiquitous. See the discussion at Examples below.
There are various slight variants of the definition of Kan extension . In good cases they all exist and all coincide, but in some cases only some of these will actually exist.
We (have to) distinguish the following cases:
These define the extension of an entire functor, by an adjointness relation.
Here we (have to) distinguish further between
These define the value of an extended functor on each object (each “point”) by a weighted (co)limit.
Furthermore, a pointwise Kan extension can be “absolute”.
If the pointwise version exists, then it coincides with the “ordinary” or “weak” version, but the former may exist without the pointwise version existing. See below for more.
Some authors (such as Kelly) assert that only pointwise Kan extensions deserve the name “Kan extension,” and use the term as “weak Kan extension” for a functor equipped with a universal natural transformation. It is certainly true that most Kan extensions which arise in practice are pointwise. This distinction is even more important in enriched category theory.
be a functor. For any other category, write
for the induced functor on the functor categories: this sends a functor to the composite functor .
If has a left adjoint, typically denoted
then this left adjoint is called the ( ordinary or weak ) left Kan extension operation along . For we call the left Kan extension of along .
Similarly, if has a right adjoint, this right adjoint is called the right Kan extension operation along . It is typically denoted
The analogous definition clearly makes sense as stated in other contexts, such as in enriched category theory.
If is the terminal category, then
The functor in this case sends objects of to the constant functor on . Notice that for any functor,
Therefore the natural hom-isomorphisms of the adjoint functors and
There is also a local definition of “the Kan extension of a given functor along ” which can exist even if the entire functor defined above does not. This is a generalization of the fact that a particular diagram of shape can have a limit even if not every such diagram does. It is also a special case of the fact discussed at adjoint functor that an adjoint functor can fail to exist completely, but may still be partially defined. If the local Kan extension of every single functor exists for some given and , then these local Kan extensions fit together to define a functor which is the global Kan extension.
Thus, by the general notion of “partial adjoints”; we say
The local left Kan extension of a functor along * is, if it exists, a functor
equipped with a natural isomorphism
hence a (co)representation of the functor .
The local definition of right Kan extensions along is dual.
As for adjoints and limits, by the usual logic of representable functors this can equivalently be rephrased in terms of universal morphisms:
The left Kan extension of along is a functor equipped with a natural transformation .
with the property that every other natural transformation factors uniquely through as
Similarly for the right Kan extension, with the direction of the natural transformations reversed:
By the usual reasoning (see e.g. Categories Work, chapter IV, theorem 2), if these representations exist for every then they can be organised into a left (right) adjoint () to .
The definition in this form makes sense not just in Cat but in every 2-category. In slightly different terminology, the left Kan extension of a 1-cell along a 1-cell in a 2-category is a pair where is a 2-cell which reflects the object along the functor . Equivalently, it is such a pair such that for every , the function
is a bijection.
In this form, the definition generalizes easily to any n-category for any . If is an -category, we say that the left Kan extension of a 1-morphism along a 1-morphism is a pair , where is a 1-morphism and is a 2-morphism, with the property that for any 1-morphism , the induced functor
is an equivalence of -categories.
We say that a Kan extension is preserved by a functor if the composite is a Kan extension of along , and moreover the universal natural transformation is the composite of with the universal transformation .
If the codomain category admits certain (co)limits, then left and right Kan extensions can be constructed, over each object (“point”) of the domain category out of these: Kan extensions that admit this form are called pointwise. (Reviews include (Riehl, I 1.3)).
The notion of pointwise Kan extensions deserves to be discussed in the general context of enriched category theory, which we do below. The reader may want to skip ahead to the section
which discusses the situation in ordinary (Set-enriched) category theory in terms of ordinary limits (“conical” limits, defined in terms of cones, to be distinguished from the more general weighted limits). While the formulas in that case are classical and fundamentally useful in practice, they do rely heavily on special properties of the enriching category Set.
The general formulation of pointwise Kan extensions in general enriched contexts is
In the case that the codomain category is (co)tensored these may be expressed equivalently
First, here is a characterization that doesn’t rely on any computational framework:
(Categories Work, theorem X.5.3)
Suppose given and such that for every , the weighted limit
exists. Then these objects fit together into a functor which is a right Kan extension of along . Dually, if the weighted colimit
exists for all , then they fit together into a left Kan extension . These definitions evidently make sense in the generality of -enriched category theory for a closed symmetric monoidal category. (In fact, they can be modified slightly to make sense in the full generality of a 2-category equipped with proarrows.)
One can prove that any Kan extension constructed in this way must be pointwise, in the sense of being preserved by all representables as above. Moreover, conversely, if a Kan extension is pointwise, then one can prove that must be in fact a -weighted colimit of , and dually; thus the two notions are equivalent.
So in particular when this is
In the case of functors between ordinary locally small categories, hence in the special case of -enriched category theory for Set, there is an expression of a weighted (co)limit and hence a pointwise Kan extension as an ordinary (“conical”, meaning: in terms of cones) (co)limit over a comma category:
Then the right Kan extension of a functor of locally small categories along a functor exists and its value on an object is given by the limit
A cartoon picture of the forgetful functor out of the comma category , useful to keep in mind, is
Consider the case of the left Kan extension, the other case works analogously, but dually.
First notice that the above pointwise definition of values of a functor canonically extends to an actual functor:
for any morphism in we get a functor
Now for the universal property of the functor defined this way. For denote the components of the colimiting cocone by , as in
We now construct in components a natural transformation
for defined as above, and show that it satisfies the required universal property. The components of over are morphisms
Take these to be given by
(this is similar to what happens in the proof of the Yoneda lemma, all of these arguments are variants of the argument for the Yoneda lemma, and vice versa). It is straightforward, if somewhat tedious, to check that these are natural, and that the natural transformation defined this way has the required universal property.
We have seen that if has enough limits or colimits, then a pointwise Kan extension can be defined in terms of these limits, and will necessarily satisfy the universal property described first. However, not all Kan extensions are pointwise: that is, having a universal transformation does not necessarily imply that the individual values of are limits or colimits in its codomain. Non-pointwise Kan extensions can exist even when does not admit very many limits.
It should be noted, though, that pointwise Kan extensions can still exist, and hence the particular requisite limits/colimits exist, even if is not (co)complete. For instance, the Kan extensions that arise in the study of derived functors are pointwise, and in fact absolute (preserved by all functors), even though their codomains are homotopy categories which generally do not admit all limits and colimits.
Non-pointwise Kan extensions seem to be very rare in practice. However, the abstract notion of Kan extension (sometimes called simply “extension”) in a 2-category, and its dual notion of lifting, can be useful in 2-category theory. For instance, bicategories such as Prof admit all right extensions and right liftings; a bicategory with this property may be considered a horizontal categorification of a closed monoidal category.
Am absolute Kan extension is one which is preserved by all functors out of the codomain of :
(same for right Kan extensions).
The most prominent example of absolute Kan extensions is given by adjoint functors; in fact they can be defined as certain absolute Kan extensions. See there for the precise statement.
Absolute Kan extensions are always pointwise, as the latter can be defined as those preserved by representables; there are (lots of) examples of pointwise Kan extensions which are not absolute.
Note that in a general 2-category, absolute Kan extensions make perfect sense, while for defining pointwise ones more structure is needed: comma objects and/or some structure which would let us work with (co)limits inside that 2-category (such as a (co)Yoneda structure? or a proarrow equipment).
The global definition of Kan extensions for functors in terms of left/right adjoints to pullbacks may be interpreted essentially verbatim in the context of (∞,1)-categories
See at (∞,1)-Kan extension.
The Kan extension of a functor may be regarded more abstractly as an extension-problem in the 2-category Cat of categories. The same extension problem can be stated verbatim in any 2-category and hence there is a corresponding more general notion of Kan extensions of 1-morphisms in 2-categories. This is discussed in (Lack 09, section 2.2).
The question of defining a pointwise Kan extension in a general 2-category is more subtle, and there are at least two distinct approaches. If the 2-category has comma objects, then we can define a Kan extension to be pointwise if it remains a Kan extension upon pasting with any comma object; this is an “internalization” of the above definition in terms of conical colimits. On the other hand, in a 2-category equipped with proarrows we can define pointwise Kan extensions as particular weighted (co)limits using a representable weight; this generalizes the above definition as a weighted (co)limit.
In some 2-categories such as , both definitions agree; but in others they do not, and in general in this case it is the equipment-theoretic version that is “correct”. For instance, in the equipment-theoretic version gives the right notion of pointwise Kan extension, whereas the comma-object one is too strong.
As a concrete example, let , so that ; then comma objects are not informative enough because they “don’t see the 2-cells”. In even more specificity, let be the walking 2-cell and the walking pair of parallel 1-morphisms, with and the inclusions of the common domain of the parallel 1-morphisms; then the equipment-theoretic-pointwise is constant at the domain object, whereas the comma-object-pointwise does not exist. See (Roald, Example 2.24) for details.
for all .
The second statement appears for instance as (Kelly, prop. 4.23).
For the first statement, using the coend formula for the left Kan extension we have naturally in the expression
Here the last step is called sometimes the co-Yoneda lemma. It follows for instance by observing that is equivalently dually the expression for the left Kan extension of the non-representable along the identity functor.
The following statement says that left exact functors into toposes have left exact left Kan extension along the Yoneda embedding (Yoneda extension) and that this is the inverse image of a geometric morphism of sheaf toposes of the original functor preserves covers.
given by precomposition with ∞-stackification/sheafification and with the (∞,1)-Yoneda embedding is a full and faithful (∞,1)-functor. Moreover, its essential image consisist of those (∞,1)-functors which are left exact and which preserve covers in that for a covering in , then is an effective epimorphism in .
This appears as Lurie, HTT, prop. 22.214.171.124.
has a left adjoint, given by
is equivalently given by taking the colimit over the fiber:
The central point about examples of Kan extensions is:
Kan extensions are ubiquitous .
To a fair extent, category theory is all about Kan extensions and the other universal constructions: limits, adjoint functors, representable functors, which are all special cases of Kan extensions – and Kan extensions are special cases of these.
Listing examples of Kan extensions in category theory is much like listing examples of integrals in analysis: one can and does fill books with these. (In fact, that analogy has more to it than meets the casual eye: see coend for more).
Keeping that in mind, we do list some special cases and special classes of examples that are useful to know. But any list is necessarily wildly incomplete.
see also examples of Kan extensions
We discuss examples of Kan extensions that are not point-wise
For more on the following see also
The basic example for left Kan extensions using the above pointwise formula, is in the construction of the pullback of sheaves along a morphism of topological spaces. Let be a continuous map and a presheaf over . Then the formula clearly defines a presheaf on , which is in fact a sheaf if is. On the other hand, given a presheaf over we can not define pullback presheaf because might not be open in general (unless is an open map). For Grothendieck sites such would not make even sense. But one can consider approximating from above by for all which are open and take a colimit of this diagram of inclusions (all are bigger, so getting down to the lower bound means going reverse to the direction of inclusions). But inclusion implies . The latter identity involves only open sets. Thus we take a colimit over the comma category of . If is a sheaf, the colimit understood as a rule is still not a sheaf, we need to sheafify. The result is sheaf-theoretic pullback
which is a sheaf, and one can analyze this construction to show that is a left adjoint to . This usage of left Kan extension persists in the more general case of Grothendieck topologies.
We list here some occurrences of Kan extensions in physics.
Notice that since, by the above discussion, Kan extensions are ubiquitous in category theory and are essentially equivalent to other standard universal constructions such as notably co/limits, to the extent that there is a relation between category theory and physics at all, it necessarily also involves Kan extensions, in some guise. But here is a list of some example where they appear rather explicitly.
In extended quantum field theory on open and closed manifolds, usually the theory “in the bulk” (on closed manifolds) is induced by “extending” that “on the boundary”, and in good cases this extension is explicitly a (homotopy)-Kan extension. This is the case notably for 2d TQFT in the form of TCFT (Costello 04), see at TCFT – Classification for details.
When path integral quantization is formalized in terms of fiber integration in generalized cohomology (as surveyed at motivic quantization) then the push-forward step, hence the path integral itself, is given by left homotopy Kan extension of parameterized spectra. For explicit details see (Nuiten 13, section 4.1), also (Schreiber 14, section 6.2). By example 6.3, a special case of this is the integration formulas via Kan extension in (Hopkins-Lurie 14, section 4).
is spoken of as pulling back a functor on to a functor on , as this operation goes in the direction opposite to that of itself. For this reason, we have above denoted this functor by . Likewise, one might call the (left or right) Kan extensions along a push forward of functors from to functors on .
This notation also coincides with that for geometric morphisms in one case: any functor between small categories induces a geometric morphism of presheaf toposes, whose inverse image is the above and whose direct image is the right Kan extension functor. Note that preserves (finite) limits, as required of an inverse image functor, since it has a left adjoint, namely left Kan extension.
On the other hand, if is additionally a flat functor, then the above precomposition functor is also the direct image of a geometric morphism, whose inverse image is given by left Kan extension (which preserves finite limits when is flat). More generally, if and are sites and is flat and preserves covering families (i.e. it is a morphism of sites), then precomposition is the direct image of a geometric morphism between sheaf toposes.
come from continuous maps of topological spaces going the other way
via the usual inverse image of open subsets.
Thus, in such cases, the functor , which looks like a pullback of functors along , corresponds geometrically to a push-forward of (pre)sheaves along . Therefore, in presheaf literature (such as Categories and Sheaves) the precomposition functor induced by is usually denoted and not .
It is however noteworthy that also the opposite perspective does occur in geometrically motivated examples. For instance
if is the discrete category on smooth space and is the discrete category on the smooth space underlying the Lie group , then smooth functors (i.e. functors internal to smooth spaces) can be identified with smooth -valued functions on , and the functor on these functor categories induced by a smooth functor does correspond to the familiar notion of pullback of functions;
and similar in higher degrees: if is the smooth path groupoid of a smooth space and the smooth group regarded as a one-object Lie groupoid, then smooth functors correspond to smooth 1-forms on , and precomposition with a smooth functor corresponds to the familiar notion of pullback of 1-forms.
This means that whether or not Kan extensions correspond geometrically to pushforward or to pullback depends on the way (covariant or contravariant) in which the domain categories , are identified with geometric entities.
Kan extension, (∞,1)-Kan extension
Textbook sources include
Kashiwara and Shapira, section 2.3 in Categories and Sheaves
has a famous treatment of Kan extensions with a statement: “The notion of Kan extensions subsumes all the other fundamental concepts in category theory”. Of course, many other fundamental concepts of category theory can also be regarded as subsuming all the others.
Lecture notes with an eye towards applications in homotopy theory include
For Kan extensions in the context of enriched category theory see
and chapter 4 of
The (∞,1)-category theory notion is discussed in section 4.3 of
For uses of Kan extension in the study of algebras over an algebraic theory see
Preservation of certain limits by left Kan extended functors is discussed in
Panagis Karazeris, and Grigoris Protsonis, Left Kan extensions preserving finite products (pdf)