2006-08-18から1日間の記事一覧
セリンガー（Peter Selinger）の"Categorical Structure of Asynchrony"（→http://www.mathstat.dal.ca/~selinger/papers/catasynch.pdf）から、いくつかの概念：対称モノイド圏Cが|C|でインデックスされた族ΔA:A→A×A、◇A:A→Iを持ち、Aに対してΔAと◇Aが対称…
このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。
今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。
