nLab David Reutter (changes)

Showing changes from revision #10 to #11: Added | Removed | Changed

• personal page

• institute page (Oxford)

• institute page (Hamburg)

• GoogleScholar page

• ResearchGate page

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](https://arxiv.org/abs/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](https://arxiv.org/abs/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](https://arxiv.org/abs/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](https://arxiv.org/abs/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](https://arxiv.org/abs/2009.00405), doi:10.1112/jlms.12687]

Introducing a notion of dagger $n$-categories:

• Giovanni Ferrer, Brett Hungar, Theo Johnson-Freyd, Cameron Krulewski, Lukas Müller, Nivedita, David Penneys, David Reutter, Claudia Scheimbauer, Luuk Stehouwer, Chetan Vuppulury, Dagger n-categories [[arXiv2403.01651](https://arxiv.org/abs/2403.01651)]

More on fusion 2-categories:

• Thibault Decoppet, Peter Huston, Theo Johnson-Freyd, Dmitri Nikshych, David Penneys, Julia Plavnik, David Reutter, Matthew Yu: The Classification of Fusion 2-Categories [[arXiv:2411.05907](https://arxiv.org/abs/2411.05907)]

• Theo Johnson-Freyd, David Reutter et al. (Cameron Krulewski, Nivedita, Michail Tagaris, …): Higher tensor categories and their extensions, notes from the Scottish Talbot On Algebra and Topology 2024 [[arXiv:2509.10636](https://arxiv.org/abs/2509.10636)]

On diffeomorphism classes detected by topological quantum field theories:

• David Reutter, Christopher Schommer-Pries: Semisimple Field Theories Detect Stable Diffeomorphism, Advances in Mathematics 482 (2025) 110598 [[arXiv:2206.10031](https://arxiv.org/abs/2206.10031), doi:10.1016/j.aim.2025.110598]

Related entries

• categorical spectrum