Indexed categories and their applications - Johnstone, P T (Lecture Notes in Mathematics, No.0661, 1978)