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<http://www-personal.umd.umich.edu/~tmfiore/1/FioreHuKrizLaplazaSets.pdf>. 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 <metaweta@gmail.com> 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/ ]