TOPOSES Books:
Goldblatt, R. Topoi. The categorical analysis of logic. - North-Holland Publ. Comp.,
1979 .
Jonston, P. Topos Theory. - Academic Press, 1977.
McLarty,C. Elementary Categories, Elementary Toposes. - Oxford Univ Press,1995
In Omsk State Uinversity was published text-books in Russian:
Guts A.K. Toposes. - Omsk: OmSU, 1989. - 35 p.
Papers:
We use the PostScript format for files of papers below. You need in GSview which can be taken at sites http://www.cs.wisc.edu/~ghost/ and ftp://ftp.cs.wisc.edu/.
Butz C., Johnstone P. Classifying Toposes for First Order Theories . 1971-1.ps Awodey, S.M. Logic in Topoi: Functorial Semantic for higher-order Logic . Dissertation. Awodey, S.M. Sheaf Representation for Topoi
SYNTHETIC DIFFERENTIAL GEOMETRY Books:
À.Kock "Synthetic Differential Geometry". - Cambridge, Cambridge Univ. Press, 1981.We give the reviewed papers om this theme in Russian:
Lavendhomme R. Basic Concepts of Synthetic Differential Geometry. - Dordrecht, Kluwer, 1996.
A.Zvyagintsev. Main concepts of Synthetic Differential and Riemannian Geometries - Master degree work, Omsk: OmSU, 1999. - 24 p. Chapter 1.Book:Text1.ps A.Zvyagintsev. Some models of Synthetic Differential Geometry. - - Master degree work, Omsk: OmSU, 1999. - 7 p. Chapter 2.
Text2.ps A.Zvyagintsev. Differential equations od first and second orders.- - Master degree work, Omsk: OmSU, 1999. - 6 p. Chapter 3.
Text3.ps M.Zaslavsky. Well-adapted models of Synthetic Differential Geometry. - Master degree work, Omsk: OmSU, 1999. - 35 p.
Text4.ps E.B.Grinkevich. Metric in Synthetic Differential Geometry. - Master degree work, Omsk: OmSU, 1996. - 29 p.
grin_dip.ps
In English: Nishimura, H. Nonlinear connections in Synthetic Differential Geometry // J. of pure & applied algebra. 1998. V.131. P.49-77.
Nishimura, H. General Jacoby Identity Revised // Intern. J. Theoret. Phys. 1999. V.38, No.8. P.2161-2172.
Nishimura, H. The First Bianchi Identity in Synthetic Differential Geometry. - Institute of Math., Univ. of Tsukuba.
Nishimura, H. Infinitesimal Calculus of Variations. - Institute of Math., Univ. of Tsukuba.
Nishimura, H. The Synthetic Theory of Superconnections. - Institute of Math., Univ. of Tsukuba.
SMOOTH TOPOSES Moerdijk I., Reyes G.E. Models for Smooth Infinitesimal Analysis. - Springer-Verlag, 1991.