The definition of a universal property uses the language of category theory to make this notion precise and to study it abstractly.
Определение универсального свойства использует язык теории категорий, чтобы сделать это определение точным и изучать его теоретическими методами.