ЕО
Я вполне допускаю, что когда мы строим иерархию категорий, то получаются не только модели классической теории множеств, но и модели интуитивистских теорий множеств. Но на сём заканчивается граница моих знаний о категориях как теоретическом формализме