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

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

2008-05-08から1日間の記事一覧

圏論的閉包作用素/余閉包作用素

あとで描く。

ハイパー行列(R-Ω 2-セル)の計算

RとΩは半環。RからΩへの縮約と呼ばれる半環射χがあるとする。具体例としては、R=N、Ω={0, 1}、χ(0) = 0, それ以外はχ(n) = 1とする。R係数の行列A、Bがあるとする。A∈MatR(n, m), B∈MatR(k, l)。P∈MatΩ(n, k), Q∈MatΩ(m, l)の組(P, Q)を考える。RからΩへの縮…