Open torstein-vik opened 5 years ago
La M være en monoid. La C være ettelementskategorien som samsvarer med M, med Ob(C) = {*}.
Da får vi TS(M) ~= End_TS(C) ({*}/Ø)
La M være en monoid. La C være ettelementskategorien som samsvarer med M, med Ob(C) = {*}.
Da får vi TS(M) ~= End_TS(C) ({*}/Ø)