Category theory MOC Small category A small category 𝖢 is a category whose classes of objects Ob(𝖢) and morphisms Mor(𝖢) form small sets. cat develop | en | SemBr