Glossary of categories Trivial category The trivial category 1―― is the terminal object of Category of small categories. It consists of a single object 0 with a single morphism id0. tidy | en | SemBr