Картинки из квадратов
\
Теоретико-множественная математика
\
Математические системы
\
Категории
\
Топосы. Категорный анализ логики. (Р. Голдблатт, 1983)
\
Сопряженность и кванторы
\
9.5.6.1.15.1. Сопряжения
Начало см.
здесь
.
Голдблатт Р.
Топосы. Категорный анализ логики.
М.: Мир, 1983, cc. 446 — .
9.5.6.1.15.1.1. Единицы и коединицы сопряжения
Определение
категорий
см.
здесь
. Определение
функторов
см.
здесь
.
9.5.6.1.15.1.1. Единицы и коединицы сопряжения
К началу данной страницы
Картинки из квадратов
\
Теоретико-множественная математика
\
Математические системы
\
Категории
\
Топосы. Категорный анализ логики. (Р. Голдблатт, 1983)
\
Сопряженность и кванторы
\
