arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 0802.0600math.CT
收藏

平衡范畴论

Balanced category theory

Claudio Pisani

摘要:

基本范畴论的某些方面是在一个完全范畴$\C$中发展起来的,该范畴具有两个确定相同离散对象的因式分解系统,并由一个简单的互反稳定律联系起来。借助于最终函子和初始函子以及离散纤维化的公理化,诸如分量、片和余片、上极限和极限、左和右可归映射、稠密映射和箭头区间等概念都可以在$\C$中自然地定义,并且可以有效地证明与它们有关的几个经典性质。对于$\C$的任何对象$X$,通过将$\C/X$限制到$X$的切片或共切片,获得两个双重“底层类别”。这些可以在$\C$的内部集合(离散对象)上丰富:内部hom-set由$X$的相应切片和余切片的拉回的分量给出。该构造扩展为函子$\C\to\Cat$,它保留(或反转)切片和可扩展映射,并且也可以在内部集合上丰富。

英文摘要:

Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this axiomatization of final and initial functors and discrete (op)fibrations, concepts such as components, slices and coslices, colimits and limits, left and right adjunctible maps, dense maps and arrow intervals, can be naturally defined in $\C$, and several classical properties concerning them can be effectively proved. For any object $X$ of $\C$, by restricting $\C/X$ to the slices or to the coslices of $X$, two dual "underlying categories" are obtained. These can be enriched over internal sets (discrete objects) of $\C$: internal hom-sets are given by the components of the pullback of the corresponding slice and coslice of $X$. The construction extends to give functors $\C\to\Cat$, which preserve (or reverse) slices and adjunctible maps and which can be enriched over internal sets too.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑