bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

endomorphism

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

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


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

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。