自己関手

関手のうち、ドメインとコドメインが同じもの。$\mathcal{A}\to \mathcal{A}$が自己関手