Difference between revisions of "Categories for the Working Mathematician"
Jump to navigation
Jump to search
(Removed redirect to Book/Categories for the Working Mathematician) Tag: Removed redirect |
|||
| Line 1: | Line 1: | ||
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]]. | 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> | <noinclude> | ||
Revision as of 13:46, 18 September 2021
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.