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

9.5.6.1.2. Что такое категории

 
Начало см. здесь.
Голдблатт Р.
Топосы. Категорный анализ логики.
М.: Мир, 1983, cc. 29 — 47.
9.5.6.1.2.3. Категории: первые примеры