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

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