Adamek, J. Herrlich, H. and Strecker, G. 
1990.   Abstract and Concrete Categories, John Wiley, New York. 

Adamek, J. and Rosicky, J. 
1994.   Locally Presentable and Accessible Categories, Cambridge University Press. 

Barr, M. and Pare, R. 
1980.   Molecular toposes, J. Pure Applied Algebra 17, 127 -152. 

Borceux, F. 
1994.   Handbook of Categorical Algebra Vol. I - III, Categories and Structures, Cambridge University Press. 

Carboni, C. Lack, S. and Walters, R. F. C. 
1993.   Introduction to extensive and distributive categories, Journal of Pure and Applied Algebra 84, 145-158. 

Diers, Y. 
1983.   Une description axiomatique des categories de faisceaux de structures algebriques sur les espaces topologiques booleens, Adv. Math., 47, 258-99. 
1986.   Categories of Boolean Sheaves of Simple Algebras, Lecture Notes in Mathematics Vol. 1187, Springer Verlag, Berlin. 
1992.   Categories of Commutative Algebras, Oxford University Press. 

Eisenbud, D. 
1995. Commutative Algebra with a view toward Algebraic Geometry, Springer Verlag, Berlin. 

Gabriel, P and Ulmer, F. 
1971 Lokal prasentierbare Kategorien, Lecture Notes in Mathematics Vol. 221, Springer-Verlarg, Berlin. 

Grothendieck, A. and Dieudonne, J. 
EGA I Elements de Geometrie Algebrique, I, Grundlehren 166, Springer-Verlag, Heidelberg (new ed., 1971), ix +466 pp. 

Grothendieck, A. et al. . 
SGA4 (with Artin, M. and Verdier, J. L.) Theorie des Topos et Cohomologie Etale des Schemas, Lecture Notes in Math. 269, 270, 305, Springer-Verlag, Heidelberg (1972-1973). 

Hartshorne, R 
1977 Algebraic Geometry, Springer-Verlag, Heidelberg. 

Hakim, M. 
1972 Topos Annelés et Schémas Relatifs. Springer-Verlag, Heidelberg 

Johnstone, T. J. 
1982 Stone Spaces, Cambridge Univ. Press, Cambridge, UK. 

Luo, Z. 
1995a. On the geometry of metric sites, Journal of Algebra 176, 210-229. 
1995b. On the geometry of framed sites, preprint. 
1996 Unitary Categories, Categorical Geometry Homepage, http://www.azd.com.
1997a. Abstract Algebraic Geometry, Categorical Geometry Homepage, http://www.azd.com. 
1997b. The language of analytic categories, Categorical Geometry Homepage, http://www.azd.com 
1998 Categorical Geometry, on line book, Categorical Geometry Homepage, http://www.azd.com 

Mac Lane, S. 
1971 Categories for the Working Mathematician, Springer-Verlag, Heidelberg. 

Mac Lane, S. and Moerdijk, I. 
1993 Sheaves in Geometry and Logic, Springer-Verlag, Heidelberg (1993). 
 

Matsumura, H. 
1980, Commutative Algebra,  2nd edition, W. A. Benjamin Co., New York.