2009-05-22 足し算の圏 圏 対象が N の足し算てどうするんだろうと電車に揺られながら考えた結果、 対象: N 射: (n,m) dom((n,m)) = n cod((n,m)) = n+m id(n) = (n,0) ; : (n1,m1);(n2,m2) = (n1,m1+m2)Multiplicative Transition の例と似たような感じになたー。 しかし恒等射がなんの役に立つのかよく分からない・・・。