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. cat That is,

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


tidy | sembr | en