次のあたりでかなり記法法を工夫して整合的に仕上げている。 非対称閉圏のカリー化：記号法を工夫すれば、右と左の混乱も解消 - 檜山正幸のキマイラ飼育記 自画自賛：右と左が気持ちよくなった件 - 檜山正幸のキマイラ飼育記 コンパクト閉圏と絵算で理解する…

2009-05-01 バートレット・フリップとヤンキング - 檜山正幸のキマイラ飼育記 メモ編 ブルース・バートレットは、次の主張をしている。 双対概念は、大域的な割当として考えるべきではない。 すなわち、双対が存在するのは圏の性質であって構造ではない。 性…

2007-03-31 右ケリー双対と左ケリー双対が一致する圏：等方的剛性 - 檜山正幸のキマイラ飼育記 メモ編 任意のAに対してケリー双対系(A, R, η, ε)、(L, A, δ, γ)が存在するような圏は堅い圏と呼ぶ。 2007-04-03 平面的フィードバック - 檜山正幸のキマイラ飼…

2009-03-05 詳細は後で（バートレット、計算の世界、XML） - 檜山正幸のキマイラ飼育記 メモ編 バートレットの学位論文 "On unitary 2-representations of finite groups and topological quantum field theory" 5章を読んだ。 2009-03-05 ブルース・バート…