Клише
- Топосы — это категории с определенными свойствами, такими как декартова замкнутость и существование конечных пределов и мощности объектов.
- Логические функторы сохраняют структуры топосов, такие как конечные границы, классификаторы подобъектов и экспоненциальные объекты.
- Топосы предоставляют более абстрактное и общее решение первого порядка для понятия подобъекта.
- Понятие классификатора подобъектов первого порядка неявно определяет отношение эквивалентности на мониках к X.
- Примеры топосов включают категории конечных множеств, конечных G-множеств и конечных графов.
- Лемма Йонеды утверждает, что Cop встраивается в SetC как полноценная подкатегория.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: