Groupoid Core
The groupoid core of a category is the βgroupoid underlying β, in the sense of Voevodsky.
Definition
Definition Groupoid core of The groupoid core of is the sub category of which has the same objects, but only the isomorphisms of as morphisms.
It follows directly from the definition that is a groupoid.
Relationship with
For any groupoid , it holds that