Pasting Diagrams
2-Dimensional Categories（2021）
摘要
In this chapter, pasting diagrams are defined, and pasting theorems for 2-/bicategories are proved. Pasting is an essential reasoning tool in 2-dimensional category theory. Each pasting theorem says that a pasting diagram, in a 2-category or a bicategory, has a unique composite. String diagrams, which provide another way to visualize and manipulate pasting diagrams, are also discussed.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要