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
