とか考えたんだけど、なぜかうまく作れない。 対象: "青"か"白"かε 射: "青"と"白"と"ε"で作られるしましま。 域: 最初が"青"の場合は"青" 最初が"白"の場合は"白" 最初が"ε"の場合は"ε" 余域: 最後が"青"の場合は"白" 最後が"白"の場合は"青" 最後が"ε"の場…

対象が 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 の例と似たような感じになたー。 しかし恒等射がなん…