类别理论图解 – 类型 类型 –> > «上一页 下一页» 类型 在本章中，我们将讨论类型。

如果你希望了解尽可能多的新类别（在意想不到的发现之前你甚至不怀疑它们是真正的类别），这可能会让你感到失望——从第一章开始我们就一直在讨论给定编程语言中的类型类别，并且我们已经知道它们如何形成类别。

然而，类型不仅仅与编程语言有关。

它们也是称为类型理论的数学理论的核心。

类型论是集合论以及范畴论本身的替代品，作为数学的基础语言，并且它是与任何这些形式主义一样强大的工具。

即使在一本关于范畴论的书中，就像这本书一样，大多数数学对象的标准定义都涉及集合。

来源：HackerNews New