and I moved the details on the definition of super smooth toposes to super smooth topos, where they belong
]]>I added a fairly long (but still immensely incomplete) examples section to smooth topos.
I mention the "well adapted models" and say a few words about the point of it. Then I have a sectoin on how and in which sense algebraic geometry over a field takes place in a smooth topos. here the model is described easily, but I spend some lines on how to think of this. In the last example sections I have some remarks on non-preservation of limits in included subcategories of tame objects, but all that deserves further expansion of course.
]]>