From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8973 Path: news.gmane.org!.POSTED!not-for-mail From: David Yetter Newsgroups: gmane.science.mathematics.categories Subject: Half cartesian duoical categories Date: Thu, 6 Oct 2016 19:48:39 +0000 Message-ID: Reply-To: David Yetter NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1475866110 27040 195.159.176.226 (7 Oct 2016 18:48:30 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 7 Oct 2016 18:48:30 +0000 (UTC) To: "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Fri Oct 07 20:48:26 2016 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.28]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bsaBs-0005DC-CR for gsmc-categories@m.gmane.org; Fri, 07 Oct 2016 20:48:16 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:50535) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1bsaBa-0003TB-H4; Fri, 07 Oct 2016 15:47:58 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1bsaBO-00054d-2d for categories-list@mlist.mta.ca; Fri, 07 Oct 2016 15:47:46 -0300 Accept-Language: en-US Content-Language: en-US Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8973 Archived-At: Is there already a name in the literature for the special instance of duoid= al category in which one of the monoidal structures is cartesian? In parti= cular the instance in which if # denotes the non-cartesian monoidal structu= re and x the cartesian, the lax middle-four interchange transformation has = components (A x B) # (C x D) ------> (A # B) x (C # D) ? It has come up in my current student's dissertation work. An existing name= and citations to papers using this specific type of duoidal category would= be much appreciated. Best Thoughts, David Yetter Professor of Mathematics Kansas State University [For admin and other information see: http://www.mta.ca/~cat-dist/ ]