category-theory Definition Endomorphism Let be a category and let be an object of . A endomorphism of is a morphism in . The set of all endomorphisms of in is usually denoted