Bicat is not triequivalent to Gray
classification
🧮 math.CT
keywords
bicatgraymodificationspseudonaturaltransformationstriequivalentbicategoriescategories
read the original abstract
Bicat is the tricategory of bicategories, homomorphisms, pseudonatural transformations, and modifications. Gray is the subtricategory of 2-categories, 2-functors, pseudonatural transformations, and modifications. We show that these two tricategories are not triequivalent.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.