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. |