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.
Lavendhomme R. Basic Concepts of Synthetic Differential Geometry. - Dordrecht, Kluwer, 1996.
We give the reviewed papers om this theme in Russian:
 
A.Zvyagintsev. Main concepts of Synthetic Differential and Riemannian Geometries - Master degree work, Omsk: OmSU,   1999. - 24 p.  Chapter 1.
 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
Book:
Moerdijk I., Reyes G.E. Models for Smooth Infinitesimal Analysis. - Springer-Verlag, 1991.