The groupoid core $\text{core}\left(\mathrm{𝒞︀}\right)$ of a category $\mathrm{𝒞︀}$ is the “groupoid underlying $\mathrm{𝒞︀}$”, in the sense of Voevodsky.Groupoid Core