Indexed Categories and Their Applications - Johnstone, P.T. (Berlin : Springer-Verlag, 1978)