Конверт из Каруби
- Оболочка Каруби — категория, которая разделяет идемпотенты в категории C.
- Категория Split(C) соответствует разделению огибающей Каруби.
- Оболочка Каруби является универсальной категорией с этим свойством.
- Огибающая Каруби может быть рассмотрена как «завершение» C, разделяющее идемпотенты.
- Оболочка Каруби эквивалентно определяется как полная подкатегория C^.
- Категория предварительных связей на C эквивалентна категории предварительных связей на Split(C).
- Автоморфизмы в оболочке Каруби имеют вид (e, f, e), удовлетворяющий определенным условиям.
- Оболочка Каруби используется в создании нескольких категорий мотивов и изучении моделей нетипизированного лямбда-исчисления.
Полный текст статьи: