A universal construction that extends a functor along another functor in the best possible way, producing left or right Kan extensions characterized by universal mapping properties that generalize limits, colimits and adjoints.

Principle

A Kan extension of F along J is an object that represents the functor sending an object Y to natural transformations from J(-,Y) composed with F to some target; equivalently, it is universal among all extensions of F along J and organizes pointwise existence via (co)limits when they exist.

Demonstration

Given an inclusion j: D→C and a functor F:D→E, the left Kan extension Lan_j F:C→E assigns to c∈C the colimit over the comma category (j↓c) of F; for example, left Kan extension along an inclusion often computes free completions or left adjoints to precomposition.

Misapplication

Assuming every Kan extension exists pointwise without verifying the required (co)limits can lead to incorrect constructions; likewise treating formal Kan extensions as concrete formulas in categories lacking the needed colimits is a misstep.

Consequence

When present, Kan extensions provide canonical ways to extend functors, yield adjoints and express many constructions uniformly (limits, colimits, sheafification, left/right Kan extensions), and enable calculation via pointwise (co)limit formulas where applicable.

Reversal

Replacing left with right Kan extension inverts colimits with limits and reverses universal arrows; the right Kan extension is the dual notion and satisfies an analogous universal property for cones instead of cocones.

Boundary

Kan extensions are defined in any 2-category but their concrete computation requires existence of the relevant (co)limits or completeness conditions in the target; they do not replace the need for checking size or set-theoretic constraints in practice.

Semantic Tension

Tension arises between formal abstract existence (as a representable in a functor category) and concrete pointwise formulas via (co)limits; users often conflate formal universal characterizations with simpler elementwise constructions.

Synthesis

A Kan extension is the canonical universal solution to the problem of extending a functor along another functor; it unifies many constructions—adjoints, (co)limits, sheafification—by expressing extension through a universal mapping property frequently calculable pointwise.