A 2-categorical approach to change of base and geometric morphisms. II. Carboni, A.; Kelly, G.M.; Verity, D.; Wood, R.J. — 1998 Theory and Applications of Categories [electronic only]