View source for Categories for the Working Mathematician

The book:[[Categories for the Working Mathematician]]<ref>{{:Book/Categories for the Working Mathematician}}</ref>, is a must have reference for people who studies [[Category Theory]]. It has an entire chapter on [[Kan Extensions]].

=Kan Extensions=
According to Saunders Mac Lane:
 This chapter (the chapter X on Kan Extension) begins by expressing adjoints as limits and ends by expressing "everything" as Kan extensions.
This simple statement reveals the fact that all data structures can be represented and transformed to others by using this Kan extension as a primitive or universal abstraction.

<noinclude>
=References=
<references/>

</noinclude>