「圏論」 インデックス

檜山正幸 (HIYAMA Masayuki)
Since: Wed Dec 29 2004

更新状況などは、こちら （Hatena::Diary 「檜山正幸のキマイラ飼育記」）でご確認ください。 「キマイラ飼育記」のRSSは http://d.hatena.ne.jp/m-hiyama/rss から取得 できます。

このインデックスの並び順は、アップロードされた時間の順です。新しい記 事は最後に追加されます。

  1. ETBダイアグラム
  2. スーパーポージング公理からスーパーポージング定理へ
  3. スーパーポージング公理からスーパーポージング定理へ 図だけ
  4. コンパクト閉圏
  5. お絵描き圏論
  6. トレース付きモノイド圏における結合
  7. コンパクト閉圏を定義する
  8. セオリーの圏
  9. 図式順テキスト記法（DOTN）
  10. ストリング図による複合モナドの計算 (1)
  11. トレースとモノイド積／結合
  12. コンパクト閉圏における結合
  13. コンパクト閉圏を定義する その2
  14. Int（GoI）構成