img/braid-base.gif
記事無し
img/crossing-sign.gif

- はじめての圏論 中間付録B:アミダとブレイド - 檜山正幸のキマイラ飼育記 (はてなBlog)
- カリー/ハワード(Curry-Howard)の対応を知らない子ども達および大人達へ - 檜山正幸のキマイラ飼育記 (はてなBlog)
- パズル:スワップ・マシンの並列プログラミング - 檜山正幸のキマイラ飼育記 (はてなBlog)
- トレースを使ってクリーネスター(またはクリーネプラス)を計算する方法の概略 - 檜山正幸のキマイラ飼育記 (はてなBlog)
- テンパリー/リーブ圏とカウフマンのスケイン関係式 - 檜山正幸のキマイラ飼育記 (はてなBlog)
img/bar2crossing.gif

- はじめての圏論 中間付録B:アミダとブレイド - 檜山正幸のキマイラ飼育記 (はてなBlog)
- 整数の加減乗除のなかにもひそんでいるヤン・バクスター方程式 - 檜山正幸のキマイラ飼育記 (はてなBlog)
- 簡易版:図から作ったモノイド圏のテンパリー/リーブ線形表現 - 檜山正幸のキマイラ飼育記 (はてなBlog)
img/bob-marley.jpg

img4/free-pro.png

img4/disc-bundle.png

img/braid-equiv.gif
img/braid-relation.gif
- 圏のクリーネスター構成 -- エフイチに触発されて - 檜山正幸のキマイラ飼育記 (はてなBlog)
- 圏論小ネタ:ヤン・バクスター方程式の圏論的な意味 - 檜山正幸のキマイラ飼育記 (はてなBlog)
img/braid-sample.gif
- はじめての圏論 中間付録B:アミダとブレイド - 檜山正幸のキマイラ飼育記 (はてなBlog)
- カリー/ハワード(Curry-Howard)の対応を知らない子ども達および大人達へ - 檜山正幸のキマイラ飼育記 (はてなBlog)
img/braiding-axioms.gif

- 圏のクリーネスター構成 -- エフイチに触発されて - 檜山正幸のキマイラ飼育記 (はてなBlog)
- 圏論小ネタ:ヤン・バクスター方程式の圏論的な意味 - 檜山正幸のキマイラ飼育記 (はてなBlog)
img/my-braid-belt.gif

img/real-braid-pict.gif
- はじめての圏論 中間付録B:アミダとブレイド - 檜山正幸のキマイラ飼育記 (はてなBlog)
- 自己関手の圏とモナド - 檜山正幸のキマイラ飼育記 (はてなBlog)
- パズル:スワップ・マシンの並列プログラミング - 檜山正幸のキマイラ飼育記 (はてなBlog)
img/hair-4strand-braid.jpg

記事無し
img/amida-composition.gif
img/amida-constraints.gif
img/amida-numbering.gif
img/amida-samples-2.gif
img/amida-samples.gif
- はじめての圏論 第7歩:アミダの圏 - 檜山正幸のキマイラ飼育記 (はてなBlog)
- アミダのクイズ - 檜山正幸のキマイラ飼育記 (はてなBlog)
- アミダのクイズをErlangで解いてみるよ - 檜山正幸のキマイラ飼育記 (はてなBlog)
- 簡易版:図から作ったモノイド圏のテンパリー/リーブ線形表現 - 檜山正幸のキマイラ飼育記 (はてなBlog)
img/signed-amida.gif

img2/amida-yang-baxter.jpg
記事無し
img2/yang-baxter-eq.gif

- 整数の加減乗除のなかにもひそんでいるヤン・バクスター方程式 - 檜山正幸のキマイラ飼育記 (はてなBlog)
- パズル:スワップ・マシンの並列プログラミング - 檜山正幸のキマイラ飼育記 (はてなBlog)
img2/3diagrams.gif

img2/subst-exam-1.gif

img2/amida-experiment.gif
img3/tl-exam-comp.png

img5/m2-spt-compose.jpg

img2/m2-spt00fig.jpg

img3/beads-struct-map.png

img3/beads.jpg

img3/tylamb-multi-subst.png

img3/tylamb-cart-merge.png

img2/distributive.gif
