Win1251
Image 
Siberian Toposes 
 
 
 
New version  
Omskian Toposmen 
Toposmen 
Literature 
Links 
Applications 
Toposophy
The Topos Theory was created by Lawvere. Topos is a category that has many properties of category Set, which is known as theory of sets. Development of topos-theoretic mathematics is conjugated with many technical complexities. The bulky diagrams that are used in category theory is one of them. 

The construction of formal theory models of which are toposes implies  an intuitionistic logic instead of classical one. The Synthetic Differential Geometry of Kock-Lawvere is such formal theory.  

The topos-theoretic mathematics open new perspectives in Theoretical Physics, and in theory of space-time in particular. 

This site contains scientific and educational materials, important  links that can be useful for Russian students who are  wishing  to study the Topos Theory and its applications. 

 
    
Web-master:  guts@univer.omsk.su
Omsk State University, Auguest 30, 1999


Since October 5, 1999.