Re: categories of models of cartesian PROPs

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/ ]