John Bourke (Masaryk University) will give a talk on
Enhanced 2-sketches and their models
Abstract:
In recent joint work with Arkor and Ko, we introduced a notion of enhanced limit 2-sketch and showed that they provide a flexible framework for 2-dimensional universal algebra, capturing a broad range of categorical structures and rectifying several issues with the existing notions of 2-sketch. However we did not much investigate the behaviour of their (enhanced) 2-categories of models. In this talk I will do so, by generalising classical results from 2-dimensional monad theory – strictification results, flexible algebras, bicolimits in 2-categories of algebras and their pseudomaps, Quillen model structures – to the setting of models of enhanced 2-sketches. This is a report on work in progress.