Definition:One (Category)

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

Also known as
The category one is also known as the terminal category or, ambiguously, trivial category.

Also see

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