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