2008-04-26 プログラムと高次圏や多重圏との関係 復習 プログラム意味論 高次圏論 なんか、わかったかも - 檜山正幸のキマイラ飼育記 メモ編 壁の圏の構造 - 檜山正幸のキマイラ飼育記 メモ編 半加群の二重圏 - 檜山正幸のキマイラ飼育記 メモ編 年末年始で考えたこと:記号回路とか両側半加群とか - 檜山正幸のキマイラ飼育記 メモ編