Kan Extensions — Mathematics Knowledge System

Overview

Kan extensions are the most general kind of universal construction in category theory. Given functors F: C -> D and K: C -> C', the left Kan extension Lan_K(F): C' -> D is the 'best approximation' to extending F along K, characterized by a universal property. Saunders Mac Lane famously wrote: 'The notion of Kan extensions subsumes all the other fundamental concepts of category theory' (limits, colimits, adjoints, representable functors all arise as Kan extensions). Lan_K(F)(c') is computed as a colimit over the comma category (K downarrow c').

Intuition

Suppose you have a functor F: C -> D and a functor K: C -> C' that 'embeds' C into a larger category C'. You want to extend F to all of C' in the best possible way. The left Kan extension does this by: for each object c' in C', look at all the ways objects of C 'map into' c' via K (this is the comma category K downarrow c'). Then take the colimit (a generalized direct limit) of F applied to these objects. This gives the most efficient left extension.

Formal Definition

Definition

Given functors F: C -> D and K: C -> C', the left Kan extension Lan_K(F): C' -> D (if it exists) is equipped with a natural transformation eta: F => Lan_K(F) o K, universal among all such pairs (G: C'->D, alpha: F=>G o K). Pointwise formula: Lan_K(F)(c') = colim_{(c,f: K(c)->c') in (K downarrow c')} F(c). Dually, the right Kan extension Ran_K(F)(c') = lim_{(c, f: c'->K(c)) in (c' downarrow K)} F(c). If K = Yoneda embedding, Ran_K recovers F from its 'representable approximations'.

\mathrm{Lan}_K(F)(c') = \mathrm{colim}_{(K\downarrow c')} F

Left Kan extension (pointwise)

\mathrm{Ran}_K(F)(c') = \lim_{(c'\downarrow K)} F

Right Kan extension (pointwise)

\mathrm{Hom}(\mathrm{Lan}_K F, G) \cong \mathrm{Hom}(F, G \circ K)

Universal property

\text{Every adjoint functor is a Kan extension along the identity}

Mac Lane's observation

Notation

Notation	Meaning
$\mathrm{Lan}_K(F)$	Left Kan extension of F along K
$\mathrm{Ran}_K(F)$	Right Kan extension of F along K
$(K \downarrow c')$	Comma category: pairs (c, K(c)->c')
$\eta: F \Rightarrow \mathrm{Lan}_K F \circ K$	Unit natural transformation

Theorems

Theorem 1: Adjoints as Kan Extensions

If F: C -> D has a right adjoint G: D -> C, then G = Ran_F(Id_C) (the right Kan extension of the identity on C along F). Similarly, F = Lan_G(Id_D). Thus every pair of adjoint functors arises from Kan extensions, and conversely every Kan extension gives an adjunction. This is Mac Lane's key observation.

Theorem 2: Limits and Colimits as Kan Extensions

Let ! : C -> 1 be the unique functor to the terminal category. Then: the colimit of F: C -> D (if it exists) is Lan_!(F)(*) and the limit of F is Ran_!(F)(*). Thus limits and colimits are special cases of Kan extensions along the unique functor to the one-object category.

Theorem 3: Density Comonad

The left Kan extension Lan_K(K): C' -> C' of K along itself is the density comonad of K. When C' has colimits, this is T = Lan_K K, and it has a natural comonad structure. Dually, Ran_K(K) is the density monad.

Worked Examples

1
The comma category (! downarrow *) has objects (j, !j->*) = (j, id_*) for all j in J. So the comma category is just J itself.
$(! \downarrow *) \cong J$
2
Lan_!(F)(*) = colim_{(J downarrow *)} F = colim_J F.
$\mathrm{Lan}_!(F)(*) = \mathrm{colim}_J F$
3
The universal property of Lan_!(F)(*) says: Hom(Lan_!F, G o !) ~= Hom(F, G o ! o Id_J) = Hom(F, G(*)). This is exactly the universal property of colim F: natural transformations from colim F to G(*) correspond to natural transformations F -> constant_{G(*)}.

✓ Answer

colim_J F = Lan_!(F)(*). Limits and colimits are Kan extensions along ! : J -> 1.

Practice Problems

Hardfree response

Explain why 'all concepts in category theory are Kan extensions' (Mac Lane's claim). Give two concrete examples beyond limits/colimits.

Common Mistakes

Common Mistake

Assuming Kan extensions always exist.

Left Kan extensions exist when D has all small colimits (or enough of them: specifically, colimits indexed by the comma categories K downarrow c' for each c'). If D lacks these colimits, Lan_K(F) may not exist. Similarly, right Kan extensions require limits. In practice (enriched settings, infinity-categories), existence requires more subtle conditions. The formula Lan_K(F)(c') = colim_{K downarrow c'} F is correct when the colimit exists; when it doesn't, the Kan extension doesn't exist either.

Quiz

Lan_K(F) is defined by the universal property:

All natural transformations G=>F o K factor through Lan_K(F)Natural transformations Lan_K(F) => G correspond to natural transformations F => G o KLan_K(F) is the terminal functor from C' to DLan_K(F) exists only when K is full and faithful

Historical Background

Daniel Kan introduced Kan extensions in his 1958 paper 'Adjoint Functors' while developing abstract homotopy theory. The concept arose from the need to extend functors defined on a small category to a larger category in a universal way. Kan extensions unified previously separate constructions and revealed that adjoint functors, limits, and colimits are all instances of a single concept. Mac Lane's influential textbook 'Categories for the Working Mathematician' (1971) featured Kan extensions prominently, crystallizing their fundamental status.

1958
Kan introduces Kan extensions in 'Adjoint Functors'
Daniel Kan
1971
Mac Lane's textbook establishes Kan extensions as central to category theory
Saunders Mac Lane
1980s
Kan extensions appear in topos theory, enriched category theory, and homotopy theory
Lawvere, Eilenberg

Summary

Kan extensions generalize all universal constructions: limits, colimits, adjoints are all special cases.
Left Kan extension: Lan_K(F)(c') = colim over comma category (K downarrow c') of F.
Universal property: Nat(Lan_K F, G) ~= Nat(F, G o K).
Right adjoint G = Ran_F(Id); colimit = Lan_! F(*); limit = Ran_! F(*).

References

BookMac Lane, S. Categories for the Working Mathematician. 2nd ed. Springer, 1998. Ch. X.
BookRiehl, E. Category Theory in Context. Dover, 2016. Ch. 6.
WebsitenLab -- Kan extension