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