モノイド 自己関手 モナド 自己関手のランベック代数 モナドのアイレンベルク／ムーア代数 付点自己関手 付点自己関手の“代数” 自己関手対の分配系 モナド対の分配系 自己関手対の分配系の“代数” モナド対の分配系の“代数”

グロタンディーク構成とその逆 Diag構成 Fam構成 Atlas構成 特定形状の前層構成 特定形状の余前層構成 関手意味論 モデル構成（指標とターゲットからモデル圏を構成する） アイレンベルク／ムーア構成 クライスリ構成 ランベック構成（自己関手から代数の圏…