Gray categories with duals and their diagrams
John W. Barrett, Catherine Meusburger, Gregor Schaumann

TL;DR
This paper develops a diagrammatic calculus for Gray categories with duals, extending ribbon diagrams to three dimensions, and introduces the spatial condition to ensure diagram invariance, with applications in topological quantum field theory.
Contribution
It introduces a new diagrammatic calculus for Gray categories with duals, including the spatial condition, and demonstrates strictification of symmetries in three-dimensional diagrams.
Findings
Diagrams are three-dimensional stratifications of a cube with labeled regions, surfaces, lines, vertices.
The spatial condition ensures invariance of evaluations under homeomorphisms.
The calculus facilitates computations and has potential applications in topological quantum field theory.
Abstract
The geometric and algebraic properties of Gray categories with duals are investigated by means of a diagrammatic calculus. The diagrams are three-dimensional stratifications of a cube, with regions, surfaces, lines and vertices labelled by Gray category data. These can be viewed as a generalisation of ribbon diagrams. The Gray categories present two types of duals, which are extended to functors of strict tricategories with natural isomorphisms, and correspond directly to symmetries of the diagrams. It is shown that these functors can be strictified so that the symmetries of a cube are realised exactly. A new condition on Gray categories with duals called the spatial condition is defined. A class of diagrams for which the evaluation for spatial Gray categories is invariant under homeomorphisms is exhibited. This relation between the geometry of the diagrams and structures in the Gray…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
