Supersmooth Topoi

It is well known that supersmooth functions are more akin to holomorphicfunctions than to smooth functions. The ultimate object of study in complexgeometry is not merely complex manifolds, but complex spaces, in whichholomorphic functions may be nilpotent and consequently invisible from ageometric viewpoint. Supergeometers have long been searching for an appropriatedefinition of supermanifold, for which many classical results in the theory ofsmooth manifolds can naturally be superized. However, they have not proceededfurther in quest of a supersmooth equivalent of complex space. The principalobject of this paper is to introduce the notion of supersmooth superspace intosupergeometry after the classical definition of complex space in complexgeometry, and then to build a good model of synthetic supergeometry after themanner of Dubuc and Taubin (1983), thereby superseding Yetter (1988). Themodel to be constructed is a Grothendieck topos encompassing the category ofG -supermanifolds and G -mappings as a full subcategory.