Set theory
Pendant in kategorialer Mengenlehre.