||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: email@example.com Omsk State University, Auguest 30, 1999
Since October 5, 1999.