Универсальное свойство: различия между версиями

Перейти к навигации Перейти к поиску
Нет описания правки
(→‎Формальное определение: Поставил якори.)
Во многих областях [[математика|математики]] полезную конструкцию часто можно рассматривать как «наиболее эффективное решение» определенной проблемы. Определение '''универсального свойства''' использует язык [[теория категорий|теории категорий]], чтобы сделать это определение точным и изучать его теоретическими методами.
 
В этой статье даётся общее описание универсального свойства. Чтобы лучше понять эту концепцию, будет полезно сначала изучить несколько примеров, которых существует довольно много: [[Произведение (теория категорий)|прямое произведение]] и [[копроизведение]], [[свободная группа]], [[группа Гротендика]], [[компактификация Стоуна — Чеха]], [[тензорное произведение]], [[прямой предел]] и [[обратный предел]], [[ядро (теория категорий)|ядро]] и [[коядро (теория категорий)|коядро]], [[декартов квадрат]], [[кодекартов квадрат]] и [[уравнитель (математика)|уравнитель]].
 
== Мотивация ==

Навигация