2099
редакции
(Нова страница: ''Това е статия за математеческото понятие '''категория'''.'' ==Дефиниция== Категория е математиче...) |
м (→Дефиниция: буква) |
||
3.3. Оператор id, присвояващ на всеки обект X морфизъм <math>1_X</math>, морфизъм на идентичността на X, за който dom <math>1_X</math> = cod <math>1_X</math> = X,
3.4.
:<math>dom\ \beta \circ \alpha = dom\ \alpha</math>
:<math>cod\ \beta \circ \alpha = cod\ \beta</math>
|