2019-09-05 色々な例 (適宜追加) 2019 セミナー 具体例 圏一般論 [n] = {1, ..., n} が作る集合・写像の圏 アミダ図の圏と置換(代入ではない)の圏 1,0を持つ半環係数の行列圏 ラベル付き boxes-and-wires 図の圏 ルシアン・アーディ図〈Lucian Hardy〉 一般論 インデックス付き圏としてのブール行列圏 弱いトポスとしてのブール代数付き圏、ハイパードクトリン オートマトンと形式言語理論 {ダガー}?コンパクト閉圏と図式 トレース付きモノイド圏と図式