群oid与骨架范畴在$\mathsf{Cat}$中构成一个预挠理论
范畴论
2023-08-09 v2 环与代数
摘要
我们描述了小范畴范畴中的一个预挠理论：挠对象为群oid，而无挠对象为骨架范畴，即那些每个同构都是自同构的范畴。我们从中识别成对对象的余等化子的两个意外性质推断出这些结果：它们是忠实的且反射同构。
引用
@article{arxiv.2207.08487,
title = {Groupoids and skeletal categories form a pretorsion theory in $\mathsf{Cat}$},
author = {Francis Borceux and Federico Campanini and Marino Gran and Walter Tholen},
journal= {arXiv preprint arXiv:2207.08487},
year = {2023}
}
备注
17 pages