Категория функторов
- Категория функторов разделяет большинство «приятных» свойств исходной категории.
- Лемма Йонеды позволяет внедрить категорию в категорию функторов.
- Внедрение категории в категории функторов используется для изучения свойств топосов.
- Примеры категорий, которые являются полными и взаимодополняемыми топосами, включают ориентированные графы, G-множества и предпучки абелевых групп.
- Интуиция о возможности выполнения конструкций в D может быть уточнена с использованием языка сопряженных функторов.
- Категория функторов D^C обладает всеми формальными свойствами экспоненциального объекта.
- Категория Cat из всех небольших категорий с функторами в качестве морфизмов является декартовой замкнутой категорией.
Полный текст статьи: