Difference between revisions of "Kan Extension"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
[[wikipedia:Kan extension|Kan extension]] is a [[universal construct]] of generalized data type defined in [[Category Theory]]. | [[wikipedia:Kan extension|Kan extension]] is a [[universal construct]] of generalized data type defined in [[Category Theory]]. | ||
=MathProofsable= | |||
{{#ev:youtube|r4_wGxi94jg|||||}} | |||
=Richard Southwell on Kan Extensions= | =Richard Southwell on Kan Extensions= | ||
{{#ev:youtube|g_jEEwrpm9c|||||}} | {{#ev:youtube|g_jEEwrpm9c|||||}} | ||
[[Category:Category Theory]] | [[Category:Category Theory]] | ||
Revision as of 15:59, 28 June 2021
Kan extension is a universal construct of generalized data type defined in Category Theory.
MathProofsable
{{#ev:youtube|r4_wGxi94jg|||||}}
Richard Southwell on Kan Extensions
{{#ev:youtube|g_jEEwrpm9c|||||}}