Забывчивый функтор
- Забывчивые функторы удаляют аксиомы, предикаты или типы из структуры категорий.
- Функторы первого рода удаляют аксиомы, второго рода — предикаты, а третьего рода — типы.
- Забывчивые функторы обычно имеют левые сопряжения, которые являются свободными конструкциями.
- Примеры забывчивых функторов включают Ab → Grp, Ab → Set и Mod → Ab.
- Забывчивые функторы могут иметь сопряжения, такие как свободные модули, свободные группы и свободные решетки.
- Символически, единица свободно-забывчивого присоединения — «включение основы».
Полный текст статьи: