Review of the elements of 2-categories
1974 ◽
pp. 75-103
◽