Corpus ID: 237494742

Rewriting in Gray categories with applications to coherence

  title={Rewriting in Gray categories with applications to coherence},
  author={Simon Forest and Samuel Mimram},
Over the recent years, the theory of rewriting has been used and extended in order to provide systematic techniques to show coherence results for strict higher categories. Here, we investigate a further generalization to Gray categories, which are known to be equivalent to tricategories. This requires us to develop the theory of rewriting in the setting of precategories, which include Gray categories as particular cases, and are adapted to mechanized computations. We show that a finite… Expand

Figures from this paper