Discrete Category

The discrete category on a H-Set $I$ is the category where

• Objects are elements of $I$.
• The only morphisms are identity morphisms.

Properties

• Every discrete category is a Strict Category.