Представимый функтор (Hjy;vmgfnbdw srutmkj)

Перейти к навигации Перейти к поиску

В теории категорий, представимый функтор — функтор специального типа из произвольной категории в категорию множеств. В некотором смысле, такие функторы задают представление категории в терминах множеств и функций.

Определение

[править | править код]

Пусть C — локально малая категория, тогда для каждого её объекта A Hom(A,-) — функтор Hom, который отправляет объекты X во множества Hom(A,X).

Функтор F : CSet называется представимым, если он естественно изоморфен Hom(A,-) для некоторого объекта A категории C.

Контравариантный функтор G из C в Set, обычно называемый предпучком, представим, если он естественно изоморфен контравариантному hom-функтору Hom(-,A) для некоторого объекта A категории C.

Универсальные элементы

[править | править код]

Согласно лемме Йонеды, естественные преобразования Hom(A,-) в F находятся во взаимно-однозначном соответствии с элементами F(A). Чтобы получить представление F, нам нужно узнать, для какого uF(A) соответствующее естественное преобразование — изоморфизм. Это мотивирует следующее определение:

Универсальный элемент функтора F : CSet — это пара (A,u), где A — объект C и uF(A), таких что для любой пары (X,v), vF(X) существует единственный морфизм f : AX, такой что (Ff)u = v.

Естественное преобразование, индуцированное uF(A) является изоморфизмом тогда и только тогда, когда (A,u) — универсальный элемент. Поэтому на представления функтора часто ссылаются как на универсальные элементы. Из универсального свойства следует, что представление функтора единственно с точностью до единственного изоморфизма (впрочем, единственность следует и из полноты вложения Йонеды).

  • Рассмотрим контравариантный функтор P : SetSet, который отправляет множество в его булеан, а функцию — во взятие полного прообраза подмножества. Для представления функтора нужна пара (A,u), такая что для любого множества X, множество Hom(X,A) изоморфно P(X) через функцию ΦX(f) = (Pf)u = f−1(u). Возьмем A = {0,1}, u = {1}, соответствующая функция из X в A — характеристическая функция множества S.
  • Забывающие функторы в Set очень часто представимы. В частности, забывающий функтор будет представим (A, u), если A — свободный объект над синглентоном u.
    • Забывающий функтор GrpSet из категории групп представим (Z, 1).
    • Забывающий функтор RingSet из категории колец представим (Z[x], x).
    • Забывающий функтор VectSet из категории действительных векторных пространств представим (R, 1).
    • Забывающий функтор TopSet из категории топологических пространств представим топологическим пространством из одного элемента.

Связь с универсальными стрелками и сопряженными функторами

[править | править код]

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

Пусть G : DC — функтор и X — объект C. Тогда (A,φ) — универсальная стрелка из X в G тогда и только тогда, когда (A,φ) — представление функтора HomC(X,G-) из D в Set. Из этого следует, что G имеет левый сопряженный F тогда и только тогда, когда HomC(X,G-) представим для всех X в C. Двойственные утверждения также верны.

Литература

[править | править код]
  • С. Маклейн Категории для работающего математика, — М.: ФИЗМАТЛИТ, 2004. — 352 с — ISBN 5-9221-0400-4.