The tricategory of formal composites and its strictification
Category Theory
2019-03-15 v1
Abstract
The results of this thesis allows one to replace calculations in tricategories with equivalent calculations in Gray categories (aka semistrict tricategories). In particular the rewriting calculus for Gray categories as used for example by the online proof assistant globular (arXiv:1612.01093), or equivalently the Gray-diagrams of arXiv:1211.0529 can then be used also in the case of a fully weak tricategory.
Keywords
Cite
@article{arxiv.1903.05777,
title = {The tricategory of formal composites and its strictification},
author = {Peter Guthmann},
journal= {arXiv preprint arXiv:1903.05777},
year = {2019}
}