Please read the important Introduction that governs your
participation in this community. Inappropriate language will not be tolerated and posts containing such language will be deleted. Otherwise, this is a free speech Forum and all are welcome!
EMILE wrote on December 21, 2007
I give my understanding of the place of Topos theory in mathematics :
Traditional mathematics are based on both the langage of set theory and classical logic . This means that any mathematical object is then described as a set with elements which becomes more and more complex as its level of abstraction increases.
Topos theory is issued from the langage of categories. More precisely Topos realise a kind of minimal interpretation of set theory in the langage of categories. This...
read all article comments