Lambda 在编程中，类的类比是什么

我发现逻辑和编程之间有一个同构，叫做，范畴论有没有这样的等价性，这有助于理解函子或单子之类的东西？

是的！它被称为-它将类别对象映射到类型，将态射映射到术语。因此，类型化lambda（没有名称的函数）甚至函数可以表示为，其中Unite类型成为，类型集（或更复杂的结构）是，apply+currying是。

据我所知，terminal对象实际上不是返回类型。它是一个有箭头的物体，其他物体都指向它。任何类别中的终端对象在唯一同构之前也是唯一的，因此可以说，在某种（重要）意义上，类别“只有一个”终端对象（如果它有一个）。在此类别中，终端对象是单位类型。这个关于初始和终端对象的视频非常好：哦，我明白了，谢谢！我首先了解了

Nothing

（scala）是终端，但随后意识到它是初始类型。所以封闭范畴从假（无）到真（单位）。