22 Aug
2015
22 Aug
'15
1:49 a.m.
Hi - I was reassured by a decategorified analogue: if T and C are commutative
monoids and we make the set of monoid homomorphism T -> C into a commutative monoid by pointwise multiplication, any one-variable identity (like x^2 = x) obeyed by* either C or T* will be inherited by CommMon[T,C].
It seems that italicized text gets transmogrified here. I meant: any one-variable identity (like x^2 = x) obeyed by either C or T will be
inherited by CommMon[T,C].
Best, jb [For admin and other information see: http://www.mta.ca/~cat-dist/ ]