| ID | e259891a-700c-4838-a7e2-6504b62bc44b |
|---|---|
| DeertopiaVisibility | public |
Groupoid (category theory)
A groupoid is a category for which every morphism has an inverse.
| ID | e259891a-700c-4838-a7e2-6504b62bc44b |
|---|---|
| DeertopiaVisibility | public |
A groupoid is a category for which every morphism has an inverse.