米田埋め込み的なもの 米田単元埋め込み $`a \mapsto \{a\}`$ 米田クロネッカー・デルタ $`a\mapsto \delta^a`$ 米田CPS変換 $`f \mapsto f^*`$ 米田ケーリー表現／米田ケーリー加群 米田エルブラン・モデル 淡中埋め込み的なもの 淡中単項フィルター 淡中ゲ…

モノイド指標 Σ Σの圏Cでの付値モデル〈valuation model〉をΣ-代数と呼ぶ。Σ-Alg(C) := MonSIG(Σ, UC) ある種の忘却関手 MonCAT → MonSIG が必要。 モノイド指標はコンピュータッドの一種 Σ-代数装備は、圏Cの対象の弱モノイドからΣ-Alg(C)の対象の弱モノイ…

ファミリーの圏 $`{\bf Fam}[A]`$ は前層圏 順序集合に対するフィルター付き集合 $`\mathrm{FilteredSet}(A)`$ は前層圏 シェープ付き集合の圏 単体集合の圏： $`s{\bf Set}`$ 球体集合の圏： $`g{\bf Set}`$ 方体集合の圏： $`c{\bf Set}`$ 有向グラフの圏 …

Texcy Luxe〈テクシーリュクス〉という靴が履きやすい。25cm EEE。 公式サイト

https://arxiv.org/abs/1711.08699 48p Functorial Semantics for Relational Theories https://arxiv.org/abs/1909.00069 31p Regular and relational categories: Revisiting 'Cartesian bicategories I' https://arxiv.org/abs/2109.14123 62p Regular Ca…