Картинки из квадратов
\
Теоретико-множественная математика
\
Математические системы
\
9.5.6. Категории
Начало см.
здесь
.
9.5.6.1. Топосы. Категорный анализ логики (Р. Голдблатт, 1983)