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]]. | ||
=Proposed Application= | |||
Conceptually, we can use Kan Extension to generalize logic gates, specifically, two inputs, one output gates. | |||
There are a total of 16 possible 2-input, 1-output, logic gates. They should be generalizable and represented using Kan Extension. | |||
=Some useful tutorial on this subject= | |||
=MathProofsable= | =MathProofsable= | ||
{{#ev:youtube|r4_wGxi94jg|||||}} | {{#ev:youtube|r4_wGxi94jg|||||}} | ||
=Richard Southwell on Kan Extensions= | =Richard Southwell on Kan Extensions= | ||
This video<ref>{{Video/}}</ref> is close to 6 hours of lengthy explanation. A large number of examples are presented in these hours. | |||
{{#ev:youtube|g_jEEwrpm9c|||||}} | {{#ev:youtube|g_jEEwrpm9c|||||}} | ||
<noinclude> | |||
=References= | |||
<references/> | |||
[[Category:Category Theory]] | [[Category:Category Theory]] | ||
[[Category:Universal Property]] | |||
[[Category:Universal Construct]] | |||
[[Category:Kan Extension]] | |||
</noinclude> | |||
Revision as of 09:41, 6 December 2021
Kan extension is a universal construct of generalized data type defined in Category Theory.
Proposed Application
Conceptually, we can use Kan Extension to generalize logic gates, specifically, two inputs, one output gates.
There are a total of 16 possible 2-input, 1-output, logic gates. They should be generalizable and represented using Kan Extension.
Some useful tutorial on this subject
MathProofsable
{{#ev:youtube|r4_wGxi94jg|||||}}
Richard Southwell on Kan Extensions
This video[1] is close to 6 hours of lengthy explanation. A large number of examples are presented in these hours. {{#ev:youtube|g_jEEwrpm9c|||||}}