Limits, Colimits, and Kan Extensions

⚡ Key Takeaways

Limits and colimits are the universal cones and cocones over diagrams in a category, unifying products, equalizers, pullbacks, coproducts, coequalizers, and pushouts. Kan extensions are the most general universal construction in category theory — left and right adjoints to restriction along a functor — and "all concepts are Kan extensions" (Mac Lane). Applies across algebra, topology, logic, and theoretical computer science. Formalized by Daniel Kan (1958), Grothendieck, and the Yoneda school in the mid-20th century.

💡 The Core Insight

A universal property says an object is determined up to unique isomorphism by how it maps to or from everything else. Limits collect a diagram into a single object via a terminal cone; colimits via an initial cocone. Kan extensions are the universal way to "transport" a functor along another functor, and they reduce to limits/colimits computed pointwise via (co)comma categories. The slogan "all concepts are Kan extensions" reflects that representability, adjunctions, and (co)limits are all instances of one construction.

DefinitionDiagram, Cone, and Cone Category

Let $\mathsf{J}$ (the index or shape category) be small and $\mathsf{C}$ a category. A diagram of shape $\mathsf{J}$ is a functor $D : \mathsf{J} \to \mathsf{C}$ . For an object $X \in \mathsf{C}$ , write $\Delta X : \mathsf{J} \to \mathsf{C}$ for the constant diagram sending every object to $X$ and every morphism to $\mathrm{id}_X$ . A cone over $D$ with apex $X$ is a natural transformation $\lambda : \Delta X \Rightarrow D$ , i.e. a family of morphisms $\lambda_j : X \to D(j)$ such that for every $f : j \to j'$ in $\mathsf{J}$ ,

1

\quad D(f) \circ \lambda_j = \lambda_{j'}.

Derivation hint: Naturality of $\lambda$ on the morphism $f$ gives the square; the $\Delta X$ side is the identity, collapsing it to a triangle. A cocone under $D$ with nadir $Y$ is dually a natural transformation $\mu : D \Rightarrow \Delta Y$ , with components $\mu_j : D(j) \to Y$ satisfying $\mu_{j'} \circ D(f) = \mu_j$ .

DefinitionLimit and Colimit

A limit of $D$ is a cone $(L, \pi : \Delta L \Rightarrow D)$ that is terminal among cones: for any cone $(X, \lambda)$ there is a unique $u : X \to L$ with $\pi_j \circ u = \lambda_j$ for all $j$ . We write $L = \lim D$ or $\varprojlim D$ . Equivalently, the limit represents the cone functor:

2

\quad \mathsf{C}(X, \lim D) \;\cong\; \mathrm{Cone}(X, D) \;=\; \mathrm{Nat}(\Delta X, D),

naturally in $X$ . Derivation hint: Yoneda — a representing object for the functor $X \mapsto \mathrm{Nat}(\Delta X, D)$ is precisely a terminal cone; the universal element is the limiting cone $\pi$ . A colimit $\mathrm{colim}\,D = \varinjlim D$ is the initial cocone, with the dual representation

3

\quad \mathsf{C}(\mathrm{colim}\,D, Y) \;\cong\; \mathrm{Nat}(D, \Delta Y).

Derivation hint: Dualize [2] by reversing every arrow and passing to $\mathsf{C}^{\mathrm{op}}$ ; a colimit in $\mathsf{C}$ is a limit in $\mathsf{C}^{\mathrm{op}}$ .

DefinitionKan Extension

Let $K : \mathsf{A} \to \mathsf{B}$ and $F : \mathsf{A} \to \mathsf{C}$ be functors. The left Kan extension of $F$ along $K$ , written $\mathrm{Lan}_K F : \mathsf{B} \to \mathsf{C}$ , is a functor equipped with a natural transformation $\eta : F \Rightarrow (\mathrm{Lan}_K F) \circ K$ that is initial: for any $(G, \gamma : F \Rightarrow G K)$ there is a unique $\alpha : \mathrm{Lan}_K F \Rightarrow G$ with $(\alpha K) \cdot \eta = \gamma$ . Equivalently, $\mathrm{Lan}_K$ is left adjoint to restriction $K^* = (-)\circ K$ :

4

\quad \mathrm{Nat}\big(\mathrm{Lan}_K F,\, G\big) \;\cong\; \mathrm{Nat}\big(F,\, G \circ K\big) \quad \text{naturally in } G \in [\mathsf{B},\mathsf{C}].

Derivation hint: The defining universal property is exactly the unit/counit description of the adjunction $\mathrm{Lan}_K \dashv K^*$ ; $\eta$ is the unit. The right Kan extension $\mathrm{Ran}_K F$ is right adjoint to $K^*$ , with $\varepsilon : (\mathrm{Ran}_K F)\circ K \Rightarrow F$ terminal and

5

\quad \mathrm{Nat}\big(G,\, \mathrm{Ran}_K F\big) \;\cong\; \mathrm{Nat}\big(G \circ K,\, F\big).

Derivation hint: Right adjoint to $K^*$ ; dual of [4]. Both adjoints exist when $\mathsf{C}$ has enough (co)limits, by the pointwise formula below.

TheoremPointwise Kan Extension Formula

Suppose $\mathsf{A}$ is small and $\mathsf{C}$ is cocomplete (resp. complete). Then $\mathrm{Lan}_K F$ (resp. $\mathrm{Ran}_K F$ ) exists and is computed pointwise by a colimit (resp. limit) over a comma category:

6

\quad (\mathrm{Lan}_K F)(b) \;=\; \mathrm{colim}\Big( (K \downarrow b) \xrightarrow{\ \mathrm{proj}\ } \mathsf{A} \xrightarrow{\ F\ } \mathsf{C} \Big),

Derivation hint: The comma category $K\downarrow b$ has objects $(a, K a \to b)$ ; the colimit glues the values $F a$ weighted by all maps into $b$ . Verify the universal property [4] by Fubini for colimits / coend manipulation.

7

\quad (\mathrm{Ran}_K F)(b) \;=\; \lim\Big( (b \downarrow K) \xrightarrow{\ \mathrm{proj}\ } \mathsf{A} \xrightarrow{\ F\ } \mathsf{C} \Big).

Derivation hint: Dual to [6] using the comma category $b\downarrow K$ of objects $(a, b \to K a)$ ; this is a limit in $\mathsf{C}$ . These admit the elegant (co)end expressions, valid in $\mathbf{Set}$ -enriched or general $\mathsf{V}$ -enriched contexts:

8

\quad (\mathrm{Lan}_K F)(b) \cong \int^{a \in \mathsf{A}} \mathsf{B}(K a, b) \cdot F a, \qquad (\mathrm{Ran}_K F)(b) \cong \int_{a \in \mathsf{A}} F a^{\,\mathsf{B}(b, K a)}.

Derivation hint: $S \cdot c$ is the $S$ -fold copower and $c^{S}$ the $S$ -fold power; the coend over $a$ replaces the comma-category colimit by a tensor weighted with the hom-set $\mathsf{B}(Ka,b)$ . The Fubini theorem for ends justifies rewriting [6] as a coend.

TheoremLimits and Colimits as Kan Extensions

Let $\mathsf{1}$ be the terminal category and $t : \mathsf{J} \to \mathsf{1}$ the unique functor. For a diagram $D : \mathsf{J} \to \mathsf{C}$ ,

9

\quad \lim D \;\cong\; (\mathrm{Ran}_t\, D)(\ast), \qquad \mathrm{colim}\,D \;\cong\; (\mathrm{Lan}_t\, D)(\ast).

Derivation hint: The comma category $\ast \downarrow t \cong \mathsf{J}$ (resp. $t \downarrow \ast \cong \mathsf{J}$ ), so [6]–[7] collapse to a colimit/limit over all of $\mathsf{J}$ . This is the precise sense in which (co)limits are Kan extensions.

ProofPointwise Left Kan Extension Satisfies the Adjunction

We verify [4] using the pointwise definition [6]. Fix $G : \mathsf{B} \to \mathsf{C}$ .

Step 1 — Components. Define $(\mathrm{Lan}_K F)(b) = \mathrm{colim}_{(a,\,\phi:Ka\to b)} F a$ , with colimit injections $\iota_{a,\phi} : F a \to (\mathrm{Lan}_K F)(b)$ . Functoriality in $b$ comes from postcomposition $\phi \mapsto g\phi$ for $g : b \to b'$ , inducing $(\mathrm{Lan}_K F)(g)$ .

Step 2 — The unit. For $a \in \mathsf{A}$ , the object $(a, \mathrm{id}_{Ka})$ lives in $K \downarrow Ka$ , giving $\eta_a := \iota_{a,\mathrm{id}} : F a \to (\mathrm{Lan}_K F)(Ka)$ . Naturality of $\eta$ follows from compatibility of injections.

Step 3 — From $\gamma$ to $\alpha$ . Given $\gamma : F \Rightarrow GK$ , define $\alpha_b : (\mathrm{Lan}_K F)(b) \to G b$ on the cocone by

10

\quad \alpha_b \circ \iota_{a,\phi} \;=\; G(\phi) \circ \gamma_a : F a \to G(Ka) \to G b.

Derivation hint: The right-hand side is a cocone under the diagram $a \mapsto Fa$ (check compatibility using naturality of $\gamma$ and functoriality of $G$ ); the universal property of the colimit produces the unique $\alpha_b$ .

Step 4 — Triangle identity. Setting $\phi = \mathrm{id}_{Ka}$ in [10] gives $\alpha_{Ka}\circ\eta_a = G(\mathrm{id})\circ\gamma_a = \gamma_a$ , i.e. $(\alpha K)\cdot\eta = \gamma$ .

Step 5 — Uniqueness. Any $\alpha'$ with $(\alpha' K)\cdot\eta = \gamma$ must satisfy [10] on every injection (decompose $\iota_{a,\phi}$ through $\iota_{a,\mathrm{id}}$ and naturality), and a map out of a colimit is determined by its restriction to the cocone. Hence $\alpha' = \alpha$ . This establishes the bijection [4], natural in $G$ . $\blacksquare$

∎

ProofLimits Are Right Kan Extensions Along

t : \mathsf{J}\to\mathsf{1}

Apply [5] with $K = t$ , $\mathsf{B} = \mathsf{1}$ , $b = \ast$ . A functor $G : \mathsf{1}\to\mathsf{C}$ is just an object $X = G(\ast)$ , and $G\circ t = \Delta X$ . Thus

11

\quad \mathsf{C}(X, (\mathrm{Ran}_t D)(\ast)) \cong \mathrm{Nat}(G, \mathrm{Ran}_t D) \cong \mathrm{Nat}(G t, D) = \mathrm{Nat}(\Delta X, D).

Derivation hint: First iso is Yoneda in $[\mathsf 1,\mathsf C]\simeq\mathsf C$ ; second is the $\mathrm{Ran}$ adjunction [5]; the last equality unfolds $Gt=\Delta X$ . Comparing with the limit representation [2], $(\mathrm{Ran}_t D)(\ast)$ represents the same functor $X\mapsto\mathrm{Nat}(\Delta X,D)$ , hence is canonically $\lim D$ . The colimit case is dual via [4]. $\blacksquare$

∎

mathematician · Daniel M. Kan | 1927–2013

Born Daniel Kan in Amsterdam, he survived WWII and emigrated to Israel, completing his doctorate under Samuel Eilenberg's influence. In his 1958 paper "Adjoint Functors" (Trans. AMS) he simultaneously introduced adjoint functors and the extension functors now bearing his name. Kan's instinct was profoundly homotopical: he developed simplicial methods, the Kan condition on simplicial sets (fibrant objects), Kan loop groups, and was a central architect of modern homotopy theory at MIT. The Kan extension was his tool for transporting homotopy-theoretic structure between categories; Mac Lane later elevated the slogan "all concepts are Kan extensions" to a guiding principle of Categories for the Working Mathematician (1971). Kan's combination of abstract categorical machinery with concrete homotopy computation set the template for the field.

🧠 Intuition

Think of a diagram $D$ as a system of compatible constraints. A cone over $D$ is a candidate "solution" mapping consistently into every constraint; the limit is the most efficient solution — every other solution factors uniquely through it. For products this is "carry all coordinates at once"; for equalizers it is "the largest subobject on which two maps agree"; for pullbacks it is "matched pairs." Dually, the colimit is the most economical gluing: a coproduct is disjoint union, a coequalizer identifies as little as forced, a pushout glues two objects along a shared piece. For Kan extensions, picture $K : \mathsf A\to\mathsf B$ as a "change of base." You know $F$ on $\mathsf A$ and want a functor on the larger $\mathsf B$ . The left Kan extension is the freest extension — it builds $(\mathrm{Lan}_K F)(b)$ by gluing all the data $Fa$ that maps into $b$ via $K$ (a colimit). The right Kan extension is the cofreest — it assembles $Fa$ for all maps out of $b$ (a limit). The comma categories $K\downarrow b$ and $b\downarrow K$ are precisely "everything in $\mathsf A$ that sees $b$ from below / from above."

RF

Reading for the working scientist

If you think of $\mathsf{J}$ as a spacetime lattice and $D$ as a field configuration assigning data to each site, the limit is a global section consistent with all local restriction maps — like a solution to gauge constraints. Colimits are coarse-grainings: gluing local field data along overlaps (a pushout) is precisely how one builds a manifold from charts or a fiber bundle by clutching. Kan extension is the categorical version of induced and coinduced representations in physics: extend a symmetry from a subgroup $H$ to $G$ — induction is a left Kan extension, coinduction a right Kan extension along $BH \to BG$ .

Figure

Limit as terminal cone and colimit as initial cocone over a diagram

D

```svg

```

ExamplePullback in

\mathbf{Set}

— a concrete limit

Given. Let $A = \{1,2,3\}$ , $B = \{x,y\}$ , $C = \{u,v\}$ , with maps $f : A \to C$ , $f(1)=f(2)=u,\ f(3)=v$ , and $g : B \to C$ , $g(x)=u,\ g(y)=v$ . The shape $\mathsf{J}$ is the cospan $\bullet\to\bullet\leftarrow\bullet$ .

Steps. 1. The pullback $A\times_C B$ is the limit, computed as $\{(a,b) : f(a)=g(b)\}$ — a set of matched pairs. 2. Enumerate: $(1,x)$ since $f(1)=u=g(x)$ ; $(2,x)$ likewise; $(3,y)$ since $f(3)=v=g(y)$ . No others: $f(a)=u$ forces $b=x$ , $f(a)=v$ forces $b=y$ . 3. Projections $\pi_A(a,b)=a$ , $\pi_B(a,b)=b$ form the limiting cone, and the square commutes: $f\pi_A = g\pi_B$ .

Answer.

\boxed{A\times_C B = \{(1,x),\,(2,x),\,(3,y)\},\quad |A\times_C B| = 3.}

ExampleLeft Kan extension computes the free monoid / induced functor (numerical)

Given. Let $\mathsf{A}$ be the discrete category on one object $\{a\}$ , $\mathsf{B}$ the two-object discrete category $\{b_1, b_2\}$ , $K : \mathsf{A}\to\mathsf{B}$ sending $a\mapsto b_1$ , and $F : \mathsf A\to \mathbf{Set}$ with $F(a) = S$ , $|S| = 4$ . Target $\mathbf{Set}$ is cocomplete.

Steps. 1. Use the pointwise formula [6]: $(\mathrm{Lan}_K F)(b) = \mathrm{colim}_{(a,\,\phi:Ka\to b)} F a$ . 2. At $b_1$ : comma category $K\downarrow b_1$ has one object $(a, \mathrm{id}_{b_1})$ since the only map $K a = b_1 \to b_1$ is the identity (discrete). Colimit over a one-object discrete category is just $F a = S$ . So $(\mathrm{Lan}_K F)(b_1) = S$ , size $4$ . 3. At $b_2$ : $K\downarrow b_2$ has objects $(a, \phi : b_1 \to b_2)$ , but $\mathsf B$ discrete means no morphism $b_1\to b_2$ . The comma category is empty; colimit over the empty diagram is the initial object $\varnothing$ .

Answer.

\boxed{(\mathrm{Lan}_K F)(b_1) = S\ (|{\cdot}|=4),\qquad (\mathrm{Lan}_K F)(b_2)=\varnothing\ (|{\cdot}|=0).}

This is the categorical "extension by zero" — left Kan extension along an inclusion fills the new spot with the initial object.

⚠️ Common mistake

Functors do not automatically preserve (co)limits. A functor $G$ preserves limits iff it maps limiting cones to limiting cones; this is a theorem to verify, not a definition. Key fact: right adjoints preserve limits (RAPL) and left adjoints preserve colimits (LAPC), but the converses fail without further hypotheses (need a solution-set condition — Freyd's Adjoint Functor Theorem). The forgetful functor $\mathbf{Grp}\to\mathbf{Set}$ preserves limits (it has a left adjoint, the free group functor) but does not preserve colimits: the coproduct of groups is the free product, whose underlying set is not the disjoint union.

⚠️ Common mistake

Kan extensions need not be "pointwise." The pointwise formulas [6]–[7] require $\mathsf C$ to have the relevant (co)limits. A Kan extension defined only by the universal property [4]/[5] may exist without being computable pointwise (in enriched or higher-categorical settings the distinction is genuine). In ordinary $\mathbf{Set}$ -categories with $\mathsf C$ (co)complete the two coincide, but never assume the comma-category formula holds by default.

CounterexampleA non-existent limit

Limits need not exist. In the category $\mathbf{Field}$ of fields, the product of $\mathbb{Q}$ and $\mathbb{F}_2$ does not exist: any field receiving maps to both would need characteristic simultaneously $0$ and $2$ , which is impossible since there is no field of mixed characteristic, and $\mathbf{Field}$ has no terminal object. Thus the empty diagram (whose limit is the terminal object) already fails, and binary products fail too. Completeness is a strong condition, not automatic.

connection

Limits and colimits are the load-bearing structure beneath nearly all of category theory. They are special weighted limits in the Enriched Category Theory sense, and the (co)end formulas [8] live there naturally. Via the Yoneda Lemma, every presheaf is canonically a colimit of representables (the density theorem), which is itself a Kan extension statement: the identity functor on presheaves is $\mathrm{Lan}_{よ} よ$ . The relation $\mathrm{Lan}_K \dashv K^* \dashv \mathrm{Ran}_K$ exhibits restriction as having both adjoints, tying directly to Adjoint Functors. The pointwise formula is the categorical avatar of the Coend Calculus, and in homotopical settings these become homotopy (co)limits and derived Kan extensions, the foundation of Model Categories and $\infty$ -category theory.

🔬 Where this appears

⏳ History

- 1942–45 — Eilenberg & Mac Lane introduce categories, functors, and natural transformations, providing the language in which (co)limits will be phrased.

- 1948 — Mac Lane formulates products and coproducts via universal properties, foreshadowing the general limit notion.

- 1957 — Grothendieck's Tôhoku paper systematizes abelian categories, exactness, and the existence of limits/colimits (his axioms AB3–AB6), making colimits a working tool in homological algebra.

- 1958 — Daniel Kan, "Adjoint Functors", introduces adjoints and the extension functors

\mathrm{Lan}

,

\mathrm{Ran}

, conceived for homotopy theory.

- 1960 — Freyd develops the Adjoint Functor Theorem, connecting completeness, (co)limits, and the existence of adjoints (hence Kan extensions).

- 1964 — Lawvere's thesis reframes algebraic theories and recognizes quantifiers as adjoints, an early Kan-extension viewpoint in logic.

- 1965 — Yoneda's lemma and the density theorem are crystallized, showing presheaves as colimits of representables.

- 1971 — Mac Lane's Categories for the Working Mathematician canonizes the slogan "all concepts are Kan extensions" and the comma/coend formulas.

- 1982 — Kelly's Basic Concepts of Enriched Category Theory gives the definitive enriched/weighted treatment of limits and Kan extensions via ends and coends.

- 2009 — Lurie's Higher Topos Theory develops

\infty

-categorical limits, colimits, and Kan extensions, now foundational in derived geometry and stable homotopy.

open-problem

The passage from ordinary to higher-categorical Kan extensions is subtle and still actively developed. Pointwise formulas in $(\infty,1)$ -categories require homotopy colimits over $\infty$ -comma categories, and ensuring functoriality/coherence is technically demanding (handled via straightening–unstraightening or via $\infty$ -cosmoi). Beyond $(\infty,1)$ , fully lax and oplax Kan extensions, and Kan extensions in double categories and bicategories, lack a uniformly clean theory; existence and pointwise-computability can fail or split into inequivalent notions. Open programmatic questions include the right framework for derived Kan extensions in motivic and condensed mathematics, and effective/computable presentations of Kan extensions for use in proof assistants and database theory where size and decidability obstructions (solution-set conditions, accessibility) become practically binding.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also