Jump to content

Забывчивый функтор

(Перенаправлено с Забвение (математика) )

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

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

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

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

Для всех в базовый набор
Для всех в морфизм, , как карта множеств.

Функтор тогда является функтором забывчивости из to Set категория множеств .

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

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

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

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

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

Забывчивые функторы имеют тенденцию иметь левые сопряженные , которые являются « свободными » конструкциями. Например:

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

Поскольку это фундаментальный пример сопряженных, мы запишем его:сопряженность означает, что для данного множества X и объекта (скажем, R -модуля) M отображения множеств соответствуют картам модулей : каждая карта множеств дает карту модулей, а каждая карта модулей происходит из карты множеств.

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

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

Единицей вольно-забывчивого присоединения является «включение основы»: .

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

См. также

[ редактировать ]
  • Мак Лейн, Сондерс . Категории для работающего математика , Тексты для выпускников по математике 5, Springer-Verlag, Берлин, Гейдельберг, Нью-Йорк, 1997. ISBN   0-387-98403-8
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 590883d173347bb04888119b0286fb97__1709568240
URL1:https://arc.ask3.ru/arc/aa/59/97/590883d173347bb04888119b0286fb97.html
Заголовок, (Title) документа по адресу, URL1:
Forgetful functor - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)