Difference between revisions of "Kan Extension"
Jump to navigation
Jump to search
| Line 6: | Line 6: | ||
There are a total of 16 possible 2-input, 1-output, logic gates. They should be generalizable and represented using Kan Extension. | There are a total of 16 possible 2-input, 1-output, logic gates. They should be generalizable and represented using Kan Extension. | ||
One may want to read this paper<ref>{{:Thesis/All Concepts are Kan extensions}}</ref> by Marina on representing concepts universally. | |||
=Some useful tutorial on this subject= | =Some useful tutorial on this subject= | ||
Revision as of 09:48, 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.
One may want to read this paper[1] by Marina on representing concepts universally.
Some useful tutorial on this subject
MathProofsable
{{#ev:youtube|r4_wGxi94jg|||||}}
Richard Southwell on Kan Extensions
This video[2] is close to 6 hours of lengthy explanation. A large number of examples are presented in these hours.
This is about the time he started to formally introduce Kan Extensions. {{#ev:youtube|g_jEEwrpm9c|||||start=13600}}
References
- ↑ Lehner, Marina (2014). "All Concepts are Kan Extensions":Kan Extensions as the Most Universal of the Universal Constructions (PDF) (Bachelor). local page: Harvard College. Retrieved June 28, 2021.
- ↑ Southwell, Richard (Jun 28, 2021). Category Theory For Beginners: Kan Extensions. local page: Richard Southwell.