On the UniMath project:
Benedikt Ahrens, Paige Randall North, Niels van der Weide, Semantics for two-dimensional type theory, LICS ‘22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, August 2022, No. 12, Pages 1–14, (doi:10.1145/3531130.3533334)
Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis, The Univalence Principle (arXiv:2102.06275)
On univalence in homotopy type theory:
On univalent bicategories in homotopy type theory:
On monoidal univalent categories:
Last revised on February 15, 2023 at 08:18:33. See the history of this page for a list of all contributions to it.