1つのモノイドを圏として見做すと幽霊が見えるよ

Monoid M := (N, +) を 圏(obj := ・, arr := N, id_arr := 0, compose := +) とした時に見える対象「・」が圏論では具体的内容が語れなさそう。 続きを読む
1