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

by J Benabou
Venue:Journal of Symbolic Logic