Коуравнитель — теоретико-категорное обобщение понятия фактора по отношению эквивалентности. Это понятие двойственно к понятию уравнителя, отсюда и название.
Коуравнитель — это копредел диаграммы, состоящей из двух объектов — X и Y, и двух параллельных морфизмов f, g : X → Y.
Более явно, коуравнитель — это объект Q вместе с морфизмом q : Y → Q, таким что q ∘ f = q ∘ g. Более того, пара (Q, q) обладает универсальным свойством: для любой другой пары (Q′, q′) с тем же свойством существует единственный морфизм u : Q → Q′, замыкающий следующую диаграмму до коммутативной:
Как и любые универсальные конструкции, коуравнитель, если существует, определен с точностью до изоморфизма. Можно показать, что коуравнитель q является эпиморфизмом в любой категории.
Читайте также
Особенности сантехники из Италии: почему стоит переплатить
Отдых в Джемете — солнце, море, пляж
Джемете — это живописный район на побережье Черного моря, который
Школа профессионального макияжа: искусство создания идеального образа
Дорамы – популярный жанр телевизионного и кинематографического искусства, который нашел
Правильный выбор ткани — половина успеха вашего образа
Разработка брендбука: почему это важно
Услуги гидроизоляции — внешняя или внутренняя?
Трудовые споры: как добиться справедливости от недобросовестного работодателя
Трудовые отношения — это тонкая материя, полная нюансов и правовых
Как отличить брендовые очки от подделки
Брендовые солнцезащитные очки — это не только модный аксессуар, но
Дизайн встроенной кухни: как оптимизировать пространство
Несмотря на большое разнообразие готовой (типовой) мебели, мебель на заказ
Михаил Владимирович Мишустин: отличный управленец и экономист
Михаил Владимирович Мишустин — выдающийся российский государственный и политический деятель,
Самые популярные рецепты пиццы: идеальное сочетание ингредиентов для настоящего гурмана
Пицца – это одно из наиболее популярных блюд в мире,
Лето – это время, когда дети, закончив учебный год, уходят
Как получить гражданство Бельгии и что оно дает?
Бельгия, расположенная в сердце Европейского союза, по праву считается одним
Осетинские пироги: вкусное и популярное блюдо с Кавказа