Lemma. Maximal groupoids are subcategories [006D]
Lemma. Maximal groupoids are subcategories [006D]
Let be a category. The maximal groupoid inside defines a subcategory.
Proof. TODO
Let be a category. The maximal groupoid inside defines a subcategory.
Proof. TODO