Categories for the Working Mathematician
Jump to navigation
Jump to search
The book:Categories for the Working Mathematician[1], 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.
References
- ↑ Mac Lane, Saunders (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics. 5 (2nd ed.). local page: Springer-Verlag. ISBN 0-387-98403-8. Zbl 0906.18001.