Category theory MOC Small category A small category is a category whose classes of objects and morphisms form small sets. cat develop | en | sembr