Элемент (теория категорий)

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

В теории категорий, понятие элемента (или точки) обобщает обычное понятие элемента множества на объект произвольной категории. Иногда оно позволяет переформулировать свойства морфизмов (например, свойство мономорфизма), которые обычно описываются при помощи универсальных свойств в более привычных терминах действия отображения на элементах. Этот подход к теории категорий (и особенно его использование в лемме Йонеды) был предложен Гротендиком.

Определение

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

Пусть C — категория, A и T — два объекта C. Тогда точки объекта A со значениями в T — это стрелки . Сопоставление объекту множества его точек со значениями в T является функтором от «переменной» T в категорию множеств, который называют функтором точек объекта A; согласно лемме Йонеды, функтор точек определяет A как объект C с точностью до изоморфизма.

Свойства морфизмов

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

Многие свойства морфизмов можно описать в терминах точек. Например, морфизм f называется мономорфизмом, если

Для любых морфизмов g, h, таких что , верно .

Пусть эти морфизмы имеют вид , в категории C. Тогда g и h — это точки B со значениями в A, поэтому определение мономорфизма эквивалентно следующему:

f — мономорфизм, если он действует инъективно на точках.

Делать такие переформулировки нужно с осторожностью. f — эпиморфизм, если выполняется двойственное свойство:

Для любых морфизмов g, h, таких что , верно .

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

Каждая точка B является образом некоторой точки A под действием f.

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

Некоторые категорные конструкции, например произведение, также имеют переформулировки. Вспомним, что если A, B — два объекта C, их произведение A×B — это такой объект, что

существуют морфизмы , и для любого T и морфизмов существует единственный морфизм such that и .

В этом определении f и g это точки A и B со значениями вT, тогда как h — это точка A×B со значением в T. Определение можно переформулировать следующим образом:

A×B — это объект C с проекциями and , такой что p и q задают биекцию между точками A×B и парами точек A и B.

Связь с теорией множеств

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

В случае, если C — это категория множеств, существует «множество с одной точкой» (терминальный объект) — синглетон {1}, и обычные элементы множества S — это то же самое, что элементы S со значениями в {1}. Можно рассмотреть точки со значениями в {1,2} — пары элементов S, или элементы S×S. В этом случае S полностью определяется своими {1}-точками. Однако это верно далеко не всегда (в данном случае это происходит из-за того, что любое множество является копроизведением {1}).

Примечания

[править | править код]
  • Barr, Michael; Wells, Charles. Toposes, Triples and Theories (неопр.). — Springer, 1985. Архивная копия от 21 августа 2010 на Wayback Machine