Types of Category

Connex category

A connex category is a category that resembles a connex — and hence it is a Posetal category in which #m/def/cat

(∀𝑋,𝑌∈Ob⁡(𝖢))[|𝖢(𝑋,𝑌)|+|𝖢(𝑌,𝑋)|>0]

#state/tidy | #SemBr