Kan Extension

Kan extension is a universal construct of generalized data type defined in Category Theory.

Kan Extension is a way to compress the idea of Lambda Calculus into a single Category Theory diagram. Using a small number of arrows, particularly two different kinds of arrows, it is really trying to encode the universal representability of Lambda Calculus.

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 by Marina on representing concepts universally.

Some useful tutorial on this subject

It would be helpful to learn enough about Limit/Colimit, Adjoint Functors, and Dynamical Systems, before studying Kan Extensions.

MathProofsable

|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. |g_jEEwrpm9c|||||start=13600}}

Left Kan Extension

This is about the time he started to formally introduce Left Kan Extensions. |g_jEEwrpm9c|||||start=18729}}

Relate Pages

C

• Category Theory
• Combinatorial Physics

L

• Logic

M

• Mereology
• Meta mathematics

N

• Number theory

R

• Representation Theory