nLab Benedikt Ahrens

• webpage

Selected writings

On the UniMath project:

• Benedikt Ahrens, UniMath: its origins, present, and future (2017) [pdf, pdf]

On 2-dimensional type theory:

• 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:

• Benedikt Ahrens, Paige Randall North, Univalent foundations and the equivalence principle, in: Reflections on the Foundations of Mathematics, Synthese Library 407 Springer (2019) [arXiv:2202.01892, doi:10.1007/978-3-030-15655-8]

On 2-dimensional type theory:

• 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, 12 (2022) 1–14, [doi:10.1145/3531130.3533334]

On univalent bicategories in homotopy type theory:

• Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niels van der Weide, Bicategories in Univalent Foundations, Mathematical Structures in Computer Science 31 10 (2022) 1232-1269 [arXiv:1903.01152, doi:10.1017/S0960129522000032&rbrack

On monoidal univalent categories:

• Kobe Wullaert, Ralph Matthes, Benedikt Ahrens, Univalent Monoidal Categories [arXiv:2212.03146]

Related entries

• internal category in homotopy type theory

• UniMath project

category: people