nLab David Reutter

• website

Selected writings

On associative n-categories and their formalization in proof assistants (cf.: Globular, homotopy.io):

• David Reutter, Jamie Vicary, High-level methods for homotopy construction in associative $n$-categories, LICS ‘19: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer ScienceJune 62 (2019) 1–13 [arXiv:1902.03831, doi:10.1109/LICS52264.2021.9470575]

• Lukas Heidemann, David Reutter, Jamie Vicary, Zigzag normalisation for associative $n$-categories, Proceedings of the Thirty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022) [arXiv:2205.08952, doi:10.1145/3531130.3533352]

Introducing a notion of fusion 2-categories:

• Christopher L. Douglas, David J. Reutter, Fusion 2-categories and a state-sum invariant for 4-manifolds [arXiv:1812.11933]

On weak $\omega$-categories via computads construed as inductive types:

• Christopher J. Dean, Eric Finster, Ioannis Markakis, David Reutter, Jamie Vicary, Computads for weak $\omega$-categories as an inductive type [arXiv:2208.08719]

On G-crossed braided fusion categories via 3-categories:

• Corey Jones, David Penneys, David Reutter, A 3-categorical perspective on $G$-crossed braided categories, J. London Math. Soc. 107 1 (2023) 333-406 [arXiv:2009.00405, doi:10.1112/jlms.12687]

category: people