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

by J Bénabou
Venue:Journal of Symbolic Logic