It 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

It 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...