definition. pasting diagram [nakahira2023diagrammatic, table 1.1] [tt-003W]
definition. pasting diagram [nakahira2023diagrammatic, table 1.1] [tt-003W]
A pasting diagram represents categories as points (0-dimensional), arrows \(\to \) (1-dimensional), natural transformations as surfaces with level-2 arrows \(\Rightarrow \) (0-dimensional).
For example:
It's dual to a corresponding string diagram