Talk page
Title:
Enhancements for categories
Speaker:
Abstract:
I am going to review existing technologies for working with homotopically enhanced categories, with special emphasis on enhancement based on derivators.
Link:
Workshop: