Часть XIV. Категория систем

Категория как метаязык всей теории: функторы, сопряжения, универсальные конструкции — и вся Теория Систем как одна категория.

Главы:

1. Глава 1. Категории как метасистемы
2. Глава 2. Функторы, естественные преобразования, лемма Йонеды
3. Глава 3. Категория систем Sys(L)
4. Глава 4. Функторы между уровнями и сопряжение
5. Глава 5. Сопряжения как универсальный язык двойственностей
6. Глава 6. Процессы как универсальные конструкции; Setoid как топос
7. Глава 7. Синтез: вся ToS как категория; мост к теории типов; карта границ

---

Том: «Математика» · Направление: Математика