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]]. | ||
=Richard Southwell= | =Richard Southwell on Kan Extension= | ||
{{#ev:youtube|g_jEEwrpm9c|||||}} | {{#ev:youtube|g_jEEwrpm9c|||||}} | ||
[[Category:Category Theory]] | [[Category:Category Theory]] | ||
Revision as of 15:52, 28 June 2021
Kan extension is a universal construct of generalized data type defined in Category Theory.
Richard Southwell on Kan Extension
{{#ev:youtube|g_jEEwrpm9c|||||}}