5 Aug
2013
5 Aug
'13
4:08 p.m.
On Fri, Aug 2, 2013 at 10:35 AM, 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"?
Thanks for all the helpful responses, everyone! -- 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/ ]