| ID | db03c541-eabe-420d-be38-91084ac0ee2a |
|---|---|
| DeertopiaVisibility | public |
Trivial category
This section is empty…
Definition
The trivial category is a category with a single object and a single morphism (the identity on the single object).
| ID | db03c541-eabe-420d-be38-91084ac0ee2a |
|---|---|
| DeertopiaVisibility | public |
The trivial category is a category with a single object and a single morphism (the identity on the single object).