2 ms·
Monoids do not come from category theory, they come from abstract algebra. How does category theory “describe type theory” ?
by School-Cotton 4y ago
Monoids do not come from category theory, they come from abstract algebra.
How does category theory “describe type theory” ?
- trenchgun 4y agoIt can give semantics for it, such as how cartesian closed category gives semantics to simply typed lambda calculus https://golem.ph.utexas.edu/category/2006/08/cartesian_closed_categories_an_1.html https://golem.ph.utexas.edu/category/2006/08/cartesian_close...