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

by J Bénabou