An n-categorical pasting theorem
1991 ◽
pp. 326-358
◽