Introduction to bicategories, in: Reports of the Midwest Category (1967)

by J Bénabou
Venue:Seminar, Lecture Notes in Mathematics