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

9.5.6.1.15.2. Некоторые ситуации сопряжения

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