论文标题
最小的可访问类别
Minimal accessible categories
论文作者
论文摘要
我们给出了Makkai和Paré结果的纯粹类别理论证明,说类别$ \ bf lin $ lin $线性订购的集合和保存订单保存的注入性映射是最少的有限访问类别。我们还讨论了最小$ \ aleph_1 $访问类别的存在。
We give a purely category-theoretic proof of the result of Makkai and Paré saying that the category $\bf Lin$ of linearly ordered sets and order preserving injective mappings is a minimal finitely accessible category. We also discuss the existence of a minimal $\aleph_1$-accessible category.