Curry-Howard-Lambek Correspondence Category Theory by Example
The Curry-Howard-Lambek correspondence relates propositions, proofs, programs, and categorical structure.
Archive
2020
Limits Category Theory by Example
Limits and colimits express universal constructions through cones, cocones, terminal objects, products, sums, and equalizers.