From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10321 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Steve Vickers Newsgroups: gmane.science.mathematics.categories Subject: =?utf-8?Q?Kelly_et_al:_=E2=80=9C2-dimensional_universal_algebra?= =?utf-8?Q?=E2=80=9D_-_references=3F?= Date: Wed, 25 Nov 2020 11:48:06 +0000 Message-ID: Reply-To: Steve Vickers Mime-Version: 1.0 (1.0) Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="25001"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca list" Original-X-From: majordomo@rr.mta.ca Thu Nov 26 04:01:34 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.74]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1ki7XJ-0006O3-LI for gsmc-categories@m.gmane-mx.org; Thu, 26 Nov 2020 04:01:33 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:43496) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1ki7Sd-0001Yb-GL; Wed, 25 Nov 2020 22:56:43 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1ki7VI-0001UG-38 for categories-list@rr.mta.ca; Wed, 25 Nov 2020 22:59:28 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10321 Archived-At: The 1989 paper =E2=80=9CTwo-dimensional monad theory=E2=80=9D (Blackwell, Ke= lly, Power) describes itself as =E2=80=9Cthe first of a series of articles r= eporting the work of Kelly and various of his colleagues on what we may call= two-dimensional universal algebra=E2=80=9D. It refers to later articles on =E2= =80=9Ctwo-dimensional structures defined by finite limit theories=E2=80=9D a= nd =E2=80=9Cpresentations of monads and related syntactic issues=E2=80=9D, t= o include =E2=80=9Ccoherence results, to the effect that something non-stric= t may be replaced by an equivalent something that is non-strict=E2=80=9D. Does anyone have references to these later papers, assuming they ever got wr= itten? I=E2=80=99ve looked through citations of the 1989 paper and didn=E2=80= =99t spot anything obvious. Steve. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]