Difference between revisions of "Kan Extension"
Jump to navigation
Jump to search
(Created page with "Kan extension is a universal construct of generalized data type defined in Category Theory.") |
|||
| 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]]. | ||
[[Category:Category Theory]] | |||
Revision as of 14:15, 28 June 2021
Kan extension is a universal construct of generalized data type defined in Category Theory.