On whether an ontology including classes as well as sets is adequate for category theory, see Muller (2001).
Системы понятий, включающей классы и множества, достаточно для обоснования теории категорий (Muller, 2001).