A 2-Categorical Approach To Change Of Base And Geometric Morphisms II (1998)

by A. Carboni , G.M. Kelly , D. Verity , R.J. Wood