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= | |||
{{#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
{{#ev:youtube|g_jEEwrpm9c|||||}}