2006-10-12から1日間の記事一覧
対称モノイド圏が単純だとは、単純対象が同型を除いて1つしかなくて、すべての対象が単純対象の和（モノイド積）に同型。 と、定義した。特定された（distinguishedな）単純対象をUとして、モノイド積を+で書いて、U + U + ... + U = n・U と書くことにする…
このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。
今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。
