以 $\mathcal{C}$-集的范畴表征群范畴
范畴论
2026-04-14 v2 K理论与同调
摘要
A -set is a functor from the category to the category of finite sets and functions. The category of -sets, , is defined as the category whose objects are -sets, and whose morphisms are natural transformations between them. In this document we provide some concise characterizations of groupoids in terms of their category of -sets.
引用
@article{arxiv.2508.10162,
title = {Characterization of groupoid categories in terms of its category of $\mathcal{C}$-sets},
author = {J. Miguel Calderón and Alberto Gerardo Raggi-Cárdenas and Itzel Rosas and Ramón H. Ruiz-Medina},
journal= {arXiv preprint arXiv:2508.10162},
year = {2026}
}