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

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