2013-04-22から1日間の記事一覧
これも土曜の「データベースは圏なんだよ!の会」での一言に対する解説。モノイドMに対して標準的に決まるM-集合は米田埋め込みですよ、って話。Mをモノイドとして、M = (M, ・, 1) とします。このモノイドMを圏とみなし、それも同じ記号Mで表します。圏Mの…
土曜日の「データベースは圏なんだよ!の会」(hirataraさんのメモ)で、「主キー/外部キーなんてドーデモイイでしょ」的なことを言ったので、「どういう観点ならドーデモヨク見えるのか」を補足しておきます。別な観点からはドーデモヨクナイでしょうが、…