关于正则范畴中偏序和等价关系的余笛像
摘要：在一个常规范畴$mathbb E$中，沿着一个常规满射$f$的直接图像不一定是一个预序。在$Set$中，它的最佳预序逼近是它在$f$上方的余分类。在一个常规范畴中，从预序$S$到$f$的上方的这样一个余分类的存在实际上等价于预序之间的上确界$R[f]vee S$的存在。我们在此研究了一些条件，确保这些余分类或等价地确保这些上确界的存在。它们适用于两个非常不同的情况：任何拓扑$mathbb E$，具有子对象链的上确界，或者任何$n$-可换常规范畴。
作者：Dominique Bourn
论文ID：2109.11381
分类：Category Theory
分类简称：math.CT
提交时间：2021-09-24