简单图的范畴在自由群函子下的逗号范畴中是共反射的。
摘要：自由群函子$mathcal{F}: mathbf{Set} o mathbf{Grp}$下的群的逗号范畴$(mathcal{F}downarrowmathbf{Grp})$包含简单图的范畴$mathbf{Gph}$作为完全齐纠子范畴。更广泛地说，我们将拓扑空间嵌入到Steven Vickers的拓扑系统范畴中的嵌入通用化为一种将某些范畴嵌入到逗号范畴的简单技术，然后作为一个直接的应用展示了简单图在$(mathcal{F}downarrowmathbf{Grp})$中是齐纠子的。
作者：Christian Frank
论文ID：2103.03105
分类：Category Theory
分类简称：math.CT
提交时间：2023-05-23