November 2017
Intermediate to advanced
670 pages
17h 35m
English
Consider f represents the semantics (above) and curry(f) and we pair f and g to get A to B with a and apply it, categorically, exponentials give us implication A ⇒ B.
For the bottom left law:
How do we know A implies B? By assuming A, we can prove B and we know A implies B.
If we know A implies B and we know A, then we can conclude B.
This is also known as modus ponens.
Read now
Unlock full access