English Categorical set theory Cited by user RDBrown on 18 Sep 2022 Categorical set theory is any one of several versions of set theory developed from or treated in the context of mathematical category theory.