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

by J Bénabou
Venue:Journal of Symbolic Logic