Re: categories of models of cartesian PROPs

[John Baez <baez@math.ucr.edu>]

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