Types of Category

Disjoint Category

A disjoint category is not a recognised category theoretic term, but I use it to refer to a category in which every morphism is an endomorphism. #m/def/cat That is,

Such a category may be viewed as the coproduct category of monoids-as-categories.

#state/tidy | #SemBr | #lang/en