Zigzag normalisation for associative n-categories-Reference-Cited by-同舟云学术

Zigzag normalisation for associative n-categories

Published:2022-08-02 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
language:
Short-container-title:

Author:

Heidemann Lukas¹,Reutter David²,Vicary Jamie³

Affiliation:

1. University of Oxford, United Kingdom

2. University of Hamburg, Germany

3. University of Cambridge, United Kingdom

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3531130.3533352

Reference27 articles.

1. Michael Atiyah. 2009. Topological quantum field theories. In The Geometry and Physics of Knots. CUP 12-23. https://doi.org/10.1007/bf02698547 10.1007/bf02698547

2. Michael Atiyah. 2009. Topological quantum field theories. In The Geometry and Physics of Knots. CUP 12-23. https://doi.org/10.1007/bf02698547

3. Homotopy theoretic models of identity types

4. Higher‐dimensional algebra and topological quantum field theory

5. Roberto Bruni , José Meseguer , and Ugo Montanari . 2002. Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. MSCS 12, 01 ( 2002 ). https://doi.org/doi.org/10.1017/s0960129501003462 10.1017/s0960129501003462 Roberto Bruni, José Meseguer, and Ugo Montanari. 2002. Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. MSCS 12, 01 (2002). https://doi.org/doi.org/10.1017/s0960129501003462

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Posetal Diagrams for Logically-Structured Semistrict Higher Categories;Electronic Proceedings in Theoretical Computer Science;2023-12-14