Difference between revisions of "Kan extension"

From PKC
Jump to navigation Jump to search
Line 1: Line 1:
A Kan extension is a mathematical object<ref>{{Paper: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]].


<noinclude>
<noinclude>

Revision as of 04:26, 18 July 2021

A Kan extension is a mathematical object[1] that can be used to represent concepts or ideas.


References

  1. 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.