« Category Theory

Definition. Maximal groupoid [006C]

For a category , we call the collection of isomorphisms in the maximal groupoid inside .

Backlinks

Lemma. Maximal groupoids are subcategories [006D]

Let be a category. The maximal groupoid inside defines a subcategory.

Proof. TODO