インデックス付き圏のフビニの定理
関連しそうな自分のエントリー。ウヘー、我ながらいっぱいあるなー。ざっと読んでいこう。読んだら、感想を一言ずつ書いていこう。
- 述語論理とインデックス付き圏と限量随伴性 20170824
- テンソル積の作り方 20160829
- 中学レベル代入計算からカリー／ハワード流証明の圏へ 20150201
- 形式言語理論のための代数 20140813
- 表現、加群、前層、インデックス付き圏、導来子 20130531
- ファイブレーションにおけるデカルト持ち上げによる平行移動 20130510
- 圏のファイブレーション 20130504
- スキーマとインスタンス -- 一般関手モデル 20130306
- 普遍的なグロタンディーク構成？ コメントでフビニの定理に言及 20130201
- ベキ集合ファイブレーション 20130125
- メイヤー代数と一般化クライスリ構成 20120616
- 加群とオートマトンとインデックス付き圏の転置 20120502 二重インデックスとインデックスの転置が出てくる。
- わーい、モナドのインデックス付き圏が作れる 20120428
- またインデックス付き圏が出てきたけど、これはどうなっている？ 20120426
- インスティチューションとホーア論理 20111110 これにフビニの定理への期待が書いてある。
- インデックス付き圏のフビニ／グロタンディーク同値 20111102 入れ子になったインデックス付き圏
- インデックス付き圏を使ってオブジェクト指向風計算を定式化してみる 20110318
- インスティチューションと Categories-as-Types 20110208
- デカルト圏の掛け算から作るインデックス付き圏の例 20110201
- ホーア論理の圏論的な定式化 20110128
- 1 と 1.0 が等しいかどうか？ グロタンディーク構成で考えてみる 20100524
- インデックス付き圏のグロタンディーク構成 20100513
- インデックス付き圏のインデックス付き圏 20100510
