CatGloss

An endomorphism, i.e., a morphism whose domain equals its codomain, that is an isomorphism is called an automorphism.