Re: Higher Lawvere theories?

[Thomas Fiore <tmfiore@umich.edu>]

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/ ]