Template:2-category interchange law

w: 2-category interchange law
2-category horizontal composition upper.svg  =  2-category double composition.svg  =  2-category vertical composition.svg 0 2-category vertical composition.svg
1
2-category horizontal composition lower.svg
PNG version: Interchange-Law.png