Difference between revisions of "Kan extension"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
A Kan extension is a mathematical object<ref>{{:Thesis/All Concepts are Kan extensions}}</ref> that can be used to represent [[Concept|concepts]] or [[Idea|ideas]]. | A Kan extension is a mathematical object<ref>{{:Thesis/All Concepts are Kan extensions}}</ref> that can be used to represent [[Concept|concepts]] or [[Idea|ideas]]. | ||
=Left and Right Kan Extensions= | |||
There are two kinds of Kan Extensions, left and right. They may be compared to the notion of horizontal and vertical composition in [[Category Theory]]. | |||
<noinclude> | <noinclude> | ||
Revision as of 01:02, 4 September 2021
A Kan extension is a mathematical object[1] that can be used to represent concepts or ideas.
Left and Right Kan Extensions
There are two kinds of Kan Extensions, left and right. They may be compared to the notion of horizontal and vertical composition in Category Theory.
References
- ↑ Lehner, Marina (2014). "All Concepts are Kan Extensions":Kan Extensions as the Most Universal of the Universal Constructions (PDF) (Bachelor). local page: Harvard College. Retrieved June 28, 2021.