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.

3 pages; v2: minor changes only, journal ref added

References in corpus (1)

• A Quillen model structure for Gray-categories

Cited by in corpus (6)

• Length 3 Complexes of Abelian Sheaves and Picard 2-Stacks
• How strict is strictification?
• On 2-final 2-functors
• Alternative notion to intercategories: part I. A tricategory of double categories
• A Whirlwind Tour of the World of $(\infty ,1)$-categories
• On the formal theory of pseudomonads and pseudodistributive laws