カテゴリ・セオリー理論は、数学的なカテゴリ理論から開発された、または扱われる集合理論のいくつかのバージョンのいずれかです。