Уравнитель (математика): различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Danneks (обсуждение | вклад) вроде бы ударение обычно другое (см. https://www.youtube.com/watch?v=-Jc80rfuOU4, например), про разность и так понятно |
→Примеры: согласовал название множества с определением |
||
Строка 11:
== Примеры ==
* В категории [[Множество (математика)|множеств]] <math>\mathcal{S}et</math> уравнитель двух [[Отображение|отображений]] <math>f</math> и <math>g</math> — это естественное вложение во множество <math>
* Аналогичным образом определяется уравнитель в категории <math>\mathcal{T}op</math> [[Топологическое пространство|топологических пространств]].
* В категории [[Абелева группа|абелевых групп]] <math>\mathcal{A}b</math> уравнитель [[гомоморфизм]]ов совпадает с [[Ядро (алгебра)|ядром]] их разности. Именно поэтому уравнитель в произвольной категории также иногда называют ядром разности, хотя в не [[Предаддитивная категория|предаддитивной]] категории, вообще говоря, разность морфизмов не определена.
| |||