Для установки нажмите кнопочку Установить расширение. И это всё.

Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.

4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день
и почти забыл как выглядит оригинальная Википедия.
Статистика
На русском, статей
Улучшено за 24 ч.
Добавлено за 24 ч.
Альтернативы
Недавние
Show all languages
Что мы делаем. Каждая страница проходит через несколько сотен совершенствующих техник. Совершенно та же Википедия. Только лучше.
.
Лео
Ньютон
Яркие
Мягкие

Из Википедии — свободной энциклопедии

Коуравнитель — теоретико-категорное обобщение понятия фактора по отношению эквивалентности. Это понятие двойственно к понятию уравнителя, отсюда и название.

Определение

Коуравнитель — это копредел диаграммы, состоящей из двух объектов — X и Y, и двух параллельных морфизмов f, g : XY.

Более явно, коуравнитель — это объект Q вместе с морфизмом q : YQ, таким что qf = qg. Более того, пара (Q, q) обладает универсальным свойством: для любой другой пары (Q′, q′) с тем же свойством существует единственный морфизм u : QQ, замыкающий следующую диаграмму до коммутативной:

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

Примеры

  • В категории множеств коуравнитель двух функций f, g : XY — это фактор Y по наиболее слабому отношению эквивалентности , такому что для любого , верно .
  • В категории топологических пространств окружность можно рассматривать как коуравнитель двух вложений стандартного 0-мерного симплекса в стандартный 1-мерный симплекс.
  • Коуравнители могут быть довольно большими: существует ровно два функтора из категории 1 с одним объектом и одним морфизмом, в категорию 2 с двумя объектами и ровно одним нетождественным морфизмом. Коуравнитель этих функторов — моноид натуральных чисел по сложению, рассматриваемый как категория из одного элемента. Это показывает, что хотя каждый коуравнитель эпиморфен, он не обязательно сюръективен.

Литература

  • Маклейн С. Глава 3. Универсальные конструкции и пределы // Категории для работающего математика = Categories for the working mathematician / Пер. с англ. под ред. В. А. Артамонова. — М.: Физматлит, 2004. — С. 68—94. — 352 с. — ISBN 5-9221-0400-4.


Эта страница в последний раз была отредактирована 11 декабря 2021 в 08:34.
Как только страница обновилась в Википедии она обновляется в Вики 2.
Обычно почти сразу, изредка в течении часа.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).