From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7832 Path: news.gmane.org!not-for-mail From: Thomas Fiore Newsgroups: gmane.science.mathematics.categories Subject: Re: Higher Lawvere theories? Date: Sun, 4 Aug 2013 10:52:48 -0400 Message-ID: References: Reply-To: Thomas Fiore NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: ger.gmane.org 1375659662 14648 80.91.229.3 (4 Aug 2013 23:41:02 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 4 Aug 2013 23:41:02 +0000 (UTC) To: Mike Stay , categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Mon Aug 05 01:41:01 2013 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1V67v3-0001Zd-78 for gsmc-categories@m.gmane.org; Mon, 05 Aug 2013 01:41:01 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:58633) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1V67tz-0002F4-9r; Sun, 04 Aug 2013 20:39:55 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1V67u0-0008TA-5w for categories-list@mlist.mta.ca; Sun, 04 Aug 2013 20:39:56 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7832 Archived-At: Hello All, Related work in this direction is in my thesis http://arxiv.org/abs/math.CT/0408298 which appeared as an AMS Memoir, though the notion of 2-theory used there is *not* the same as a theory enriched in Cat. Thomas M. Fiore. Pseudo Limits, Biadjoints, and Pseudo Algebras: Categorical Foundations of Conformal Field Theory. Memoirs of the American Mathematical Society 182 (2006), no. 860. 171 pages. and related work is in the follow up article Fiore, Hu, Kriz. Laplaza Sets, or How to Select Coherence Diagrams for Pseudo Algebras. Advances in Mathematics, Volume 218, Number 6, pages 1705-1722, 2008. 17 pages. best regards, Tom Fiore > > On Fri, Aug 2, 2013 at 12:35 PM, Mike Stay wrote: > >> Has anyone worked out the details of "higher Lawvere theories" so that >> one can say "the free bicategory on this object, these morphisms, >> these 2-morphisms, modulo these equations of 2-morphisms"? >> -- >> Mike Stay - metaweta@gmail.com >> http://www.cs.auckland.ac.nz/~mike >> http://reperiendi.wordpress.com >> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]