>>450
>”lambda calculus and Cartesian closed categories”

下記 追加なｗ　；ｐ）
アウディの圏論本にも出てきたよ
（圏論ムチは、かなしいねｗ　）

(参考)
https://en.wikipedia.org/wiki/Cartesian_closed_category
Cartesian closed category
Examples
Examples of locally Cartesian closed categories include:
・The category LH whose objects are topological spaces and whose morphisms are local homeomorphisms is locally Cartesian closed, since LH/X is equivalent to the category of sheaves ⁠Sh(X)⁠. However, LH does not have a terminal object, and thus is not Cartesian closed.

https://en.wikipedia.org/wiki/Lambda_calculus
Lambda calculus
Explanation and applications
Lambda calculus has applications in many different areas in mathematics, philosophy,[5] linguistics,[6][7] and computer science.[8][9] Lambda calculus has played an important role in the development of the theory of programming languages. Functional programming languages implement lambda calculus. Lambda calculus is also a current research topic in category theory.[10]