User:Robertbyrne/Kan extension

Kan extensions are universal constructs in category theory, a branch of mathematics. They are closely related to adjoints, but are also related to limits and ends. They are named for Daniel M. Kan, who constructed certain (Kan) extensions using limits in 1960.

An early use of (what is now known as) a Kan extension from 1956 was in homological algebra to compute derived functors.

In Categories for the Working Mathematician Saunders Mac Lane titled a section "All Concepts Are Kan Extensions", and went on to write that


 * "The notion of Kan extensions subsumes all the other fundamental concepts of category theory."

=Definition= As with the other universal constructs in category theory, there are two kinds of Kan extensions, which are dual to one another.

The left Kan extension is so named because, in its definition, the required unique morphism for an arbitrary candidate functor has the left Kan extension as the domain functor, i.e. usually written on the left, e.g.

$$\sigma:L \rightarrow M$$,

where $$L\ $$ is the left Kan extension, $$M\ $$ is the candidate functor, and $$\sigma\ $$ is a natural transformation between them.

Dually, the right Kan extension is so named because, in its definition, the required unique morphism for an arbitrary candidate functor has the right Kan extension as the codomain functor, i.e. usually written on the right, e.g.

$$\delta:M \rightarrow R$$,

where $$M\ $$ is the candidate functor, $$R\ $$ is the right Kan extension, and $$\delta\ $$ is a natural transformation between them.

Left Kan extension
In this definition $$\mathbf{A}$$, $$\mathbf{B}$$ and $$\mathbf{C}$$ are categories, $$L\ $$, $$X\ $$, $$F\ $$ and $$M\ $$ are functors, and $$\sigma\ $$ and $$\alpha\ $$ are natural transformations.

The left Kan extension of a functor $$X: \mathbf{A} \rightarrow \mathbf{C}$$ along $$F : \mathbf{A} \rightarrow \mathbf{B}$$ is a pair $$(L: \mathbf{B} \rightarrow \mathbf{C}, \epsilon : X \rightarrow LF)$$ such that there is a unique $$\sigma : L \rightarrow M$$ for every $$M: \mathbf{B} \rightarrow \mathbf{C}$$ and $$\alpha : X \rightarrow MF$$, such that the following diagram commutes.



Where $$\sigma_F (A)= \sigma (FA) \ $$.

The diagram expresses the equation $$\sigma_F \circ \epsilon = \alpha \ $$.

Right Kan extension
In this definition $$\mathbf{A}$$, $$\mathbf{B}$$ and $$\mathbf{C}$$ are categories, $$R\ $$, $$X\ $$, $$F\ $$ and $$M\ $$ are functors, and $$\delta\ $$ and $$\mu\ $$ are natural transformations.

The right Kan extension of a functor $$X : \mathbf{A} \rightarrow \mathbf{C}$$ along $$F : \mathbf{A} \rightarrow \mathbf{B}$$ is a pair $$(R: \mathbf{B} \rightarrow \mathbf{C}, \eta: RF \rightarrow X)$$ such that there is a unique $$\delta : M \rightarrow R$$ for every $$M: \mathbf{B} \rightarrow \mathbf{C}$$ and $$\mu: MF \rightarrow X$$, such that the following diagram commutes.



Where $$\delta_F (A) = \delta (FA) \ $$.

The diagram expresses the equation $$\eta \circ \delta_F = \mu \ $$.

=Examples=

Cartesian product of sets
=Relationship to adjoints=

=End formula=

Left Kan extension
The object function of the left Kan extension, $$L$$, as defined earlier, is:

$$L (B) = \int^A \mathbf{B}(FA,B) \cdot XA$$.

We note that when this coend exists we have the object function of the left Kan extension, however, we don't have that the existence of the left Kan extension implies the existence of this coend.

The unit, $$\epsilon$$, of the left Kan extension is defined:

$$ \epsilon_A = \omega_{A,FA} \circ i_{1_{FA}}$$, where $$\omega$$ is the ending wedge of the coend above, and $$i$$ is the injection from $$X$$ into the copower

$$\mathbf{B}(FA,FA) \cdot XA$$.

Right Kan extension
The object function of the right Kan extension, $$R$$, as defined earlier, is:

$$R (B) = \int_A (XA)^{\mathbf{B}(B,FA)}$$.

=Natural isomorphism of Hom-functors definition=

=References=
 * Cartan, H., Eilenberg, S. (1956). Homological algebra. Princeton: Princeton University Press.
 * Mac Lane, S. (1998). Categories for the Working Mathematician. Second Edition. Springer-Verlag. ISBN 0-387-98403-8.