Characterization of groupoid categories in terms of its category of $\mathcal{C}$-sets

J. Miguel Calderón, Alberto Gerardo Raggi-Cárdenas, Itzel Rosas +1

A $\mathcal{C}$-set is a functor from the category $\mathcal{C}$ to the category of finite sets and functions. The category of $\mathcal{C}$-sets, $\mathcal{C} - \operatorname*{set…