双范畴、lax函子和阴影的一致性
Coherence for bicategories, lax functors, and shadows
摘要：
凝聚定理是我们思考幺半范畴及其推广的基础。在本文中，我们重新Mac Lane的原始证明的连贯性幺半范畴使用Grothendieck建设。这种观点使得麦克·莱恩的证明方法非常易于推广。我们使用的技术，许多标准的一致性定理和新的一致性结果的双范畴与阴影和他们的函子的有效证明。
英文摘要：
Coherence theorems are fundamental to how we think about monoidal categories and their generalizations. In this paper we revisit Mac Lane's original proof of coherence for monoidal categories using the Grothendieck construction. This perspective makes the approach of Mac Lane's proof very amenable to generalization. We use the technique to give efficient proofs of many standard coherence theorems and new coherence results for bicategories with shadow and for their functors.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
