Strict Category

A Category $\mathcal{C}$ is strict if it has an H-Set of objects.