単一対象の圏がモノイド、モノイドを多対象〈many-object〉化したら圏 単一対象の複圏が（単色の）オペラッド、単色オペラッドを多対象化〈多色化〉すると複圏＝色付きオペラッド 圏を台とする弱モノイド構造物〈モノイド対象〉はモノイド圏 モノイド圏から…

符号 負号

is, is-a の問題。本来「is 形容詞」「is-a 名詞」、形式化が難しい。 $`\in`$ と $`\subseteq`$ の混同。自然言語表現だと区別付かない。 包含関係と忘却関手の混同。包含的階層と射影的階層。射影的は忘却関手ベース。 has-a と part-of の曖昧性。オブジ…

右随伴関手 随伴系の役割り名 左随伴関手のパートナー〈相方〉の意味。制限された系〈ペア〉での役割り名。二項関係の関与者役割り名＝二項述語の引数名 形容詞： 右随伴が形容詞。「随伴系が存在して、その右随伴関手となりえる」 レトラクト 埋め込みとレ…

テンプレート充填問題の書き方 - (新) 檜山正幸のキマイラ飼育記 メモ編 の最後のコメントを再掲、強調追加： カン拡張の例： y字図式がある。基準図式と op, co, coop で4種の変種がある。 ストリング図の3本の足に変換子〈converter〉を付けて、三種の解変…