Connex category
A connex category is a category that resembles a connex — and hence it is a Posetal category in which #m/def/cat
#state/tidy | #SemBr
A connex category is a category that resembles a connex — and hence it is a Posetal category in which #m/def/cat
#state/tidy | #SemBr