Оглавление
Проективный объект
-
Определение проективного объекта
- Проективный объект – это объект, который имеет достаточное количество проекций.
- Проекция – это эпиморфизм, который отображает объект на его проективный конус.
-
Примеры проективных объектов
- Множество является проективным объектом, если оно удовлетворяет аксиоме выбора.
- Свободные абелевы группы являются проективными объектами в категории абелевых групп.
- В категории компактных хаусдорфовых пространств проективными объектами являются экстремально несвязанные пространства.
- В категории банаховых пространств проективными объектами являются отображения с плотным образом.
-
Свойства проективных объектов
- Совместное произведение двух проективных объектов является проективным.
- Втягивание проективного объекта является проективным.
-
Рекомендации по форматированию
- Статья содержит инструкции по форматированию библиографических описаний и ссылок.
-
Внешние ссылки
- Статья содержит ссылку на определение проективного объекта в лаборатории nLab.
Полный текст статьи: