Эндоморфизм: различия между версиями

[[Алгебраическая система|алгебраическую систему]] в себя. Более общообще, мы можем говорить об эндоморфизмах в произвольной [[теория категорий|категории]]. В любой категории композиция двух эндоморфизмов <math>X</math> также является эндоморфизмом, композиция ассоциативна и существует тождественный эндоморфизм. Отсюда следует, что эндоморфизмы <math>X</math> образуют [[моноид]], который обозначается <math>\operatorname{End}(X)</math> (или <math>\operatorname{End}_C(X)</math>, чтобы подчеркнуть категорию <math>C</math>).