摘要：在一些有用和基本的分类中（如集合，带二元关系的集合，预序和偏序集），本文的目的是详细阐述几个范畴构造的具体实现细节（乘积，余积，拉回，推出，等值子，等值商和指数运算）。
作者：Ignacio Viglizzo
论文ID：2302.10321
分类：Category Theory
分类简称：math.CT
提交时间：2023-06-14
PDF 下载： 英文版 中文版pdf翻译中