Функтор забывчивости

редактировать

В математике, в области теории категорий, забывчивый functor (также известный как разделительный функтор ) «забывает» или отбрасывает некоторые или все входные структуры или свойства «до», отображаемые на выход. Для алгебраической структуры данной подписи это может быть выражено сокращением подписи: новая подпись является отредактированной формой старой. Если подпись остается пустым списком, функтор должен просто взять базовый набор структуры. Поскольку многие структуры в математике состоят из набора с дополнительной добавленной структурой, наиболее распространенным случаем является забывчивый функтор, который отображается на базовый набор.

Содержание
  • 1 Обзор
  • 2 Левые сопряжения забывчивых функторов
  • 3 См. Также
  • 4 Ссылки
Обзор

В качестве примера есть несколько забывчивых функторов из категория коммутативных колец. (unital ) кольцо, описанное на языке универсальной алгебры, представляет собой упорядоченный набор (R, +, ×, a, 0, 1), удовлетворяющий некоторые аксиомы, где «+» и «×» - бинарные функции на множестве R, a - унарная операция, соответствующая аддитивной инверсии, а 0 и 1 - нулевые операции, задающие тождества двух бинарных операций. Удаление 1 дает забывчивый функтор в категорию колец без единицы ; он просто «забывает» единицу. Удаление «×» и 1 дает функтор категории абелевых групп, который присваивает каждому кольцу R базовую аддитивную абелеву группу R. Каждому морфизму колец присваивается та же функция рассматривается просто как морфизм сложения между основными группами. Удаление всех операций дает функтор базовому набору R.

Полезно различать забывчивые функторы, которые «забывают структуру», и те, которые «забывают свойства». Например, в приведенном выше примере коммутативных колец, помимо тех функторов, которые удаляют некоторые операции, есть функторы, которые забывают некоторые аксиомы. Существует функтор из категории CRing в Ring, который забывает аксиому коммутативности, но сохраняет все операции. Иногда объект может включать дополнительные наборы, не определенные строго в терминах базового набора (в этом случае, какую часть рассматривать базовый набор - дело вкуса, хотя на практике это редко бывает двусмысленным). Для этих объектов существуют забывчивые функторы, которые забывают дополнительные множества, более общие.

Наиболее распространенные объекты, изучаемые в математике, построены как базовые множества вместе с дополнительными наборами структуры на этих множествах (операции с базовым набором, привилегированные подмножества базового набора и т. Д.), Которые могут удовлетворять некоторым аксиомам. Для этих объектов обычно считается функтор забывчивости. Пусть C {\ displaystyle {\ mathcal {C}}}{\ mathcal {C}} будет любой категорией, основанной на наборах, например группы - наборы элементов - или топологические пространства - наборы «точек». Как обычно, напишите Ob ⁡ (C) {\ displaystyle \ operatorname {Ob} ({\ mathcal {C}})}\ operatorname {Ob} ({\ mathcal {C}}) для объектов из C {\ displaystyle {\ mathcal {C}}}{\ mathcal {C}} и напишите Fl ⁡ (C) {\ displaystyle \ operatorname {Fl} ({\ mathcal {C}})}\ operatorname {Fl} ({\ mathcal {C}}) Для морфизмов то же самое. Рассмотрим правило:

Для всех A {\ displaystyle A}A в Ob ⁡ (C), A ↦ | А | = {\ displaystyle \ operatorname {Ob} ({\ mathcal {C}}), A \ mapsto | A | =}{\ displaystyle \ operatorname {Ob} ({\ mathcal {C}}), A \ mapsto | A | =} базовый набор A, {\ displaystyle A,}A,
Для всех u {\ displaystyle u}u в Fl ⁡ (C), u ↦ | u | = {\ displaystyle \ operatorname {Fl} ({\ mathcal {C}}), u \ mapsto | u | =}{\ displaystyle \ operatorname {Fl} ({\ mathcal {C}}), u \ mapsto | u | =} морфизм, u {\ displaystyle u}u , как карта множеств.

Функтор | ⋅ | {\ displaystyle | \ cdot |}| \ cdot | - тогда функтор забывчивости от C {\ displaystyle {\ mathcal {C}}}{\ mathcal {C}} до Set, Категория множеств .

Забывчивые функторы почти всегда точны. Конкретные категории имеют забывчивые функторы по отношению к категории множеств - действительно, их можно определить как те категории, которые допускают точный функтор для этой категории.

Забывчивые функторы, которые забывают только аксиомы, всегда полностью верны, поскольку каждый морфизм, который уважает структуру между объектами, которые удовлетворяют аксиомам, автоматически также уважает аксиомы. Забывчивые функторы, забывающие структуры, не обязательно должны быть полными; некоторые морфизмы не соблюдают структуру. Однако эти функторы остаются верными, потому что различные морфизмы, которые действительно учитывают структуру, остаются различными, даже если структура забыта. Функторы, которые забывают дополнительные наборы, не обязательно должны быть точными, поскольку различные морфизмы, соответствующие структуре этих дополнительных наборов, могут быть неразличимы на базовом наборе.

На языке формальной логики функтор первого типа удаляет аксиомы, функтор второго типа удаляет предикаты, а функтор третьего типа удаляет типы. Примером первого типа является функтор забывчивости Ab→ Grp . Один из второго типа - это функтор забывчивости Ab→ Set . Функтором третьего типа является функтор Mod → Ab, где Mod - это расслоенная категория всех модулей над произвольными кольцами. Чтобы увидеть это, просто выберите гомоморфизм колец между лежащими в основе кольцами, который не изменяет действие кольца. При использовании функтора забывчивости этот морфизм дает тождество. Обратите внимание, что объект в Mod является кортежем, который включает кольцо и абелеву группу, так что забыть о них - дело вкуса.

Левое сопряжение функторов забывчивости

Функторы забывания обычно имеют сопряженных слева, которые являются конструкциями 'свободными '. Например:

. Более подробный список см. (Mac Lane 1997).

Поскольку это фундаментальный пример сопряженных соединений, мы поясняем его: сопряженность означает, что для данного множества X и объекта (скажем, R-модуля) M отображаются карты множеств X → | M | {\ displaystyle X \ to | M |}{\ displaystyle X \ to | M |} соответствуют картам модулей Free R ⁡ (X) → M {\ displaystyle \ operatorname {Free} _ {R} (X) \ to M }\ operatorname {Бесплатно} _ {R} (X) \ к M : каждая карта множеств дает карту модулей, а каждая карта модулей получается из карты множеств.

В случае векторных пространств это резюмируется следующим образом: «Карта между векторными пространствами определяется тем, куда она отправляет базис, и базис может быть отображен на что угодно».

Символически:

Hom M o d R ⁡ (Free R ⁡ (X), M) = Hom S e t ⁡ (X, Забыть ⁡ (M)). {\ displaystyle \ operatorname {Hom} _ {\ mathbf {Mod} _ {R}} (\ operatorname {Free} _ {R} (X), M) = \ operatorname {Hom} _ {\ mathbf {Set}} (X, \ operatorname {Forget} (M)).}\ operatorname {Hom} _ {{{\ mathbf {Mod}} _ {R}}} (\ operatorname { Бесплатно} _ {R} (X), M) = \ operatorname {Hom} _ {{{\ mathbf {Set}}}} (X, \ operatorname {Forget} (M)).

Единицей свободного-забывчивого присоединения является «включение базиса»: X → Free R ⁡ (X) {\ displaystyle X \ to \ operatorname {Free} _ {R} (X)}X \ to \ operatorname {Free} _ {R} (X) .

Fld, категория полей, дает пример забывчивого функтора без сопряженного. Не существует поля, удовлетворяющего свободному универсальному свойству для данного множества.

См. Также
Ссылки
Последняя правка сделана 2021-05-20 11:35:04
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте