Bookmark

Mathematics > Category Theory

Title:
Bicat is not triequivalent to Gray

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.