「圏論的モダリティ：圏上の非自然な構造達」への追記ですが、別エントリーにします。圏論的モダリティ（categorical modality）を定義するために、非自然変換（non-natural transformation）という概念を導入しました。この非自然変換の定義をここで詳しく…

圏論的モダリティ（categorical modality）は、圏の対象に構造を持たせるメカニズムです。ただし、構造の素材が関手や自然変換とは限りません。モダリティは、圏の射と整合しない付加的構造を対象に導入する方法だとも言えます。「モダリティ」という言葉は…