Glossary of categories Trivial category The trivial category 1―― is the terminal object of 𝖢𝖺𝗍. It consists of a single object 0 with a single morphism id0. #state/tidy | #lang/en | #SemBr