Types of Category

Posetal Category

A posetal category 𝖢 is both a thin category and a skeletal category. #m/def/cat Hence posetal categories are precisely posets-as-categories.

Properties

See Posets as categories

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