In homological algebra, derived functors are Kan extensions of functors restricted to special subcategories (injectives/projectives). This provides conceptual understanding of derived functors beyond explicit resolutions.

Homotopy limits and colimits are Kan extensions:

• $\text{holim } D = \text{Ran}_D \Delta(*)$ in appropriate model category
• $\text{hocolim } D = \text{Lan}_D \Delta(*)$

These generalize ordinary limits/colimits to homotopy theory.

For operad $\mathcal{O}$, free $\mathcal{O}$-algebra functor is left Kan extension. This explains universality of free algebras categorically.

In enriched categories, Kan extensions generalize to weighted limits/colimits. These unify many constructions in enriched setting.

• Pushforward and pullback of sheaves are Kan extensions
• Direct and inverse image functors for schemes
• Base change theorems formulated via Kan extensions

This provides functorial framework for sheaf operations.

In categorical logic:

• Existential quantification $\exists$ is left Kan extension
• Universal quantification $\forall$ is right Kan extension

This gives categorical semantics for quantifiers.