Glossary of categories

Trivial category

The trivial category is the terminal object of . It consists of a single object with a single morphism .

#state/tidy | #lang/en | #SemBr