このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

2013-04-22から1日間の記事一覧

モノイドをモノイドに作用させたら米田埋め込み

これも土曜の「データベースは圏なんだよ!の会」での一言に対する解説。モノイドMに対して標準的に決まるM-集合は米田埋め込みですよ、って話。Mをモノイドとして、M = (M, ・, 1) とします。このモノイドMを圏とみなし、それも同じ記号Mで表します。圏Mの…

主キー/外部キーなんてドーデモイイ

土曜日の「データベースは圏なんだよ!の会」(hirataraさんのメモ)で、「主キー/外部キーなんてドーデモイイでしょ」的なことを言ったので、「どういう観点ならドーデモヨク見えるのか」を補足しておきます。別な観点からはドーデモヨクナイでしょうが、…