Category theory MOC Small category A small category 𝖢 is a category whose collections of objects Ob(𝖢) and morphisms Mor(𝖢) are small #m/def/cat #state/develop | #lang/en | #SemBr