Amar Hadzihasanovic, IRIF
Diagrammatic sets: weak higher categories for rewriting
Diagrammatic sets are my attempt to do several things at once, including:
1) rescue some good ideas in an infamous wrong paper by Kapranov and Voevodsky; 2) build a framework for higher-dimensional rewriting and algebra that is more flexible than polygraphs; 3) develop a model of higher categories that is actually enjoyable for those who love diagrams, without driving away the rest; 4) ultimately, try a “tinkerer’s” approach to figuring out what “directed homotopy theory” should be all about.
In this talk, I will give an overview of the definition, its background and its motivation.