Картинки из квадратов \ Теоретико-множественная математика \ Математические системы \

9.5.6. Категории

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