He comenzado a interesarme por las teorías algebraicas y sus modelos categóricos: en particular las mónadas, las multicategorías y óperas generalizadas, las teorías del lawvere y su generalización. ¿Existe alguna referencia que trate sistemáticamente la relación entre tales modelos de teorías, donde modelo significa una presentación de teoría?
Respuesta
¿Demasiados anuncios?
Ed Haber
Puntos
1121
Por supuesto, está el libro de Tom Leinster Higher Operads, Higher Categories, y también hay muchas cosas en el nLab. Véase también el artículo seminal de Max Kelly (creo que inédito hasta hace poco), On the operads of J.P. May.