nLab Lukas Heidemann

• institute page Cambridge

• institute page Oxford

Selected writings

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

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

On manifold diagrams for higher category theory:

• Lukas Heidemann: Manifold Diagrams for Higher Categories [arXiv:2411.04870]

category: people