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

9.5.6.1.12. Категорная теория множеств

Начало см. здесь.
Голдблатт Р.
Топосы. Категорный анализ логики.
М.: Мир, 1983, cc. 302 — 343.
9.5.6.1.12.2. Натурально - числовые объекты