2009-06-16から1日間の記事一覧
余対角∇:A+A→A を積、始対象からの唯一射θA:0→Aを単位とすると、直和に対するモノイダル・スタンピング・モナドができる。これは対象Aで添字付けられる。つまり、対象と同じだけ直和自明モナドが存在する。同様にして、対角Δ:A→A×Aを余積、終対象への唯一射!…
このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。
今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。
