From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8684 Path: news.gmane.org!not-for-mail From: John Baez Newsgroups: gmane.science.mathematics.categories Subject: Re: categories of models of cartesian PROPs Date: Sat, 22 Aug 2015 09:49:31 +0800 Message-ID: References: Reply-To: John Baez NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: ger.gmane.org 1440338279 19119 80.91.229.3 (23 Aug 2015 13:57:59 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 23 Aug 2015 13:57:59 +0000 (UTC) Cc: categories To: John Baez Original-X-From: majordomo@mlist.mta.ca Sun Aug 23 15:57:51 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.22]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1ZTVmO-00023R-G5 for gsmc-categories@m.gmane.org; Sun, 23 Aug 2015 15:57:48 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:43567) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1ZTVlQ-00015J-Qd; Sun, 23 Aug 2015 10:56:48 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1ZTVlR-0001r7-F9 for categories-list@mlist.mta.ca; Sun, 23 Aug 2015 10:56:49 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8684 Archived-At: 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/ ]