Partial groups as symmetric simplicial sets
arXiv:2310.01513 · doi:10.1016/j.jpaa.2025.107864
Abstract
We give a new characterization of partial groups as a subcategory of symmetric (simplicial) sets. This subcategory has an explicit reflection, which permits one to compute colimits in the category of partial groups. We also introduce the notion of a partial groupoid, which encompasses both groupoids and partial groups.
22 pages, accepted version