1. Barr, M.: Exact categories,Exact Categories and Categories of Sheaves, LNM 236, Springer-Verlag, New York, Heidelberg, Berlin, 1985.
2. Barr, M. and Wells, C.:Toposes, Triples and Theories, Springer-Verlag, New York, Heidelberg, Berlin, 1971.
3. Carboni, A. and Walters, R. F. C.: Cartesian bicategories I,J. Pure Appl. Algebra 45 (1987), 11?32.
4. Cagliari, F. and Mantovani, S.: Local homeomorphisms as the exponentiable morphisms in compact Hausdorff spaces,Topology Appl. 41 (1991), 263?272.
5. Day, B. J. and Kelly, G. M.: On topological quotient maps preserved by pullbacks or products,Proc. Camb. Phil. Soc. 67 (1970), 555?558.