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

Перейти к навигации Перейти к поиску
 
=== Произведения ===
[[Произведение (теория категорий)|Произведение в теории категорий]] можно охарактеризовать его универсальным свойством. А именно: пусть ''X'' и ''Y'' — объекты категории ''D'', а ''C'' — произведение категорий ''D'' × ''D''. Определим [[диагональный функтор]]
: Δ : ''D'' → ''D'' × ''D''
 

Навигация