Ellerman, D. Category Theory and Set Theory As Theories about Complementary Types of Universals. LLP 2016, 26, 145-162.