endomorphism

適当な圏の中の適当な対象Xに対して、X→X みたいに、domainとcodomainが同じものを endomorphism といいます。

これの関手版が endofunctor で、適当な圏 C に対して C → C と同じ圏への変換をかます関手を endofunctor と呼びます。モナドは常に endofunctor です。

…いや、それだけ。Morph Endo!（何を今更）