Bénabou, J. (1985). Fibered categories and the foundations of naive category theory. Journal of Symbolic Logic, 50(1), 10–37. https://doi.org/10.2307/2273784
@article{benabou:1985,
author = {B\'{e}nabou, Jean},
publisher = {Cambridge University Press},
year = {1985},
doi = {10.2307/2273784},
journal = {Journal of Symbolic Logic},
number = {1},
pages = {10--37},
title = {Fibered categories and the foundations of naive category theory},
volume = {50}
}