Gray-categories model algebraic tricategories
Category Theory
2022-03-09 v1
Abstract
Lack described a Quillen model structure on the category GrayCat of Gray-categories and Gray-functors, for which the weak equivalences are the weak 3-equivalences. In this note, we adapt the technique of Gurski, Johnson, and Osorno to show the localization of GrayCat at the weak equivalences is equivalent to the category of algebraic tricategories and pseudo-natural equivalence classes of weak 3-functors.
Cite
@article{arxiv.2203.03748,
title = {Gray-categories model algebraic tricategories},
author = {Giovanni Ferrer},
journal= {arXiv preprint arXiv:2203.03748},
year = {2022}
}
Comments
Short 16 page note, comments welcome!