Categorical set theory is any one of several versions of set theory developed from or treated in the context of mathematical category theory.
References
Categorical set theory Wikipedia(Text) CC BY-SA
Categorical set theory is any one of several versions of set theory developed from or treated in the context of mathematical category theory.