このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

2011-10-18から1日間の記事一覧

カテゴリカル・フラーレンの達人・クランス

リンク メモ 人物 globular

クランス（Sjoerd Crans http://home.tiscali.nl/secrans/）という人がいる。On braidings, syllepses, and symmetries (1998) http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.3774 なんて論文を書いている（73ページもある）。このなかで、可…

ABCシステム

圏一般論 メモ プログラム意味論

ABC = Action of Bimonoid on Comonoid ABC = Algebra for Buffers and Caches B = (B, ∇, i, Δ, !) が双モノイド、C = (C, Δ, !) が余モノイドとする。(B, C, a:B×C→C) がABCシステムとは： Bをモノイドとみなして、aはCへのBモノイド作用＝加群＝表現とな…