Definition:One (Category)

Definition
The trivial category $\mathbf 1$, is the category with:

Also known as
The trivial category is also known as the category one.

Also see

 * Definition:Zero (Category)
 * Definition:Two (Category)
 * Definition:Three (Category)