Post #2493675

A month ago I gave a talk on joint work with Christian Sattler, on axioms for higher category theory. The slides are now available here: https://dwarn.se/slides/7wftop.pdf The idea is to add axioms to homotopy type theory, to allow a development of higher category theory. Notably, this is consistent with the idea that types are spaces, and does not require any significant changes to the type theory.