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.

MathProofsable

{{#ev:youtube|r4_wGxi94jg|||||}}

Richard Southwell on Kan Extensions

This video 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}}