自己関手

圏論において、ある圏から自分自身への対応を定義するものを自己関手と呼ぶ。

この自己関手がモナドの構造を持つかどうかを、随伴関手の観点から証明する。

プログラミング言語の型理論では、自己関手を用いて再帰的なデータ構造を記述できる。