Без заголовка

Теория множеств морально устарела. Пора переходить на теорию категорий.