然后，类别理论的系统研究使我们能够从一个类别的公理中证明关于任何这些类型的一般结构的数学结果。
然后，类别理论的系统研究使我们能够从一个类别的公理中证明关于所有这些类型的一般结构的数学结果。
然后，类别理论的系统研究使我们能够从一个类别的公理中证明关于所有这些类型的一般结构的数学结果。
Reescribe este texto: 然后，类别理论的系统研究使我们能够从一个类别的公理中证明关于任何这些类型的一般结构的数学结果。 Producción: