Categorical set theory

Categorical set theory is any one of several versions of set theory developed from or treated in the context of mathematical category theory.

• Categorical logic

• Leinster, Tom (2014). "Rethinking set theory". American Mathematical Monthly. 121 (5): 403–415. arXiv:1212.6543. CiteSeerX 10.1.1.751.6210. doi:10.4169/amer.math.monthly.121.05.403. S2CID 5732995.