Fibred categories and the foundations of naive category theory (1985)

by J Bénabou
Venue:J. Symbolic Logic