dRAdjL, dLAdjR を随伴系の二重圏だとする。その構成素〈constituents〉は、 0-射は圏（または厳密2-圏の対象） 垂直1-射は随伴系を左関手方向で考えたもの。 水平1-射は関手（または厳密2-圏の射） 2-射は、右または左の四脚2-射 右四脚2-射、左四脚2-射と…

モナドの圏を σMndγ(K) の形で書く。σは圏のソート、γは圏の修飾子とする。まず、修飾子は形容詞を組み合わせて作る。 形容詞記号 意味 L 左 R 右 Alg 1-射が代数的 EM アイレンベルク／ムーア、1射が右斜め加群 Kl クライスリ、1射が左斜め加群 S 単純、2-…

コック／ツーバライン https://ja.forvo.com/search/Z%C3%B6berlein/