双対はF-余代数

とある組 (対象, 射) のこと

赤丸の中身の組(A,\alpha)や(B,\beta)が、自己関手FのF-代数

定義

圏\mathscr{A}とその上の自己関手F:\mathscr{A}\to\mathscr{A}に対し、

\mathscr{A}の対象Aと、射\alpha:F(A)\to Aとの組(A,\alpha)のことを言う

関連

参考