モノイド指標 Σ Σの圏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。 公式サイト