Webpage of the Compositional Systems and Methods group at TalTech.

11 June 2020, 14:00, online


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.