多圏の必要性
- 20070416 直積と射影がらみの高階関数たちの相関図 - 檜山正幸のキマイラ飼育記
- 20090325 演繹系とお絵描き圏論 - 檜山正幸のキマイラ飼育記
今、けっこう真面目に考えている。多圏の導入と使い方。[追記]だいたい出来た→ http://d.hatena.ne.jp/m-hiyama-memo/20160227/1456545077[/追記]
このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。
今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。
今、けっこう真面目に考えている。多圏の導入と使い方。[追記]だいたい出来た→ http://d.hatena.ne.jp/m-hiyama-memo/20160227/1456545077[/追記]