Bicat不等于Gray
Bicat is not triequivalent to Gray
摘要：
双范畴是双范畴、同态、自然变换和修饰的三范畴。Gray是2-范畴、2-函子、自然变换和修改的子范畴。我们表明，这两个三范畴不是三等价的。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
