Both schemes and manifolds are local ringed spaces which are locally isomorphic to spaces in some full subcategory of local ringed spaces (local models). Now, there is the inherent notion of the Zariski tangent space in a point (dual of maximal ideal modulo its square) which is the "right" definition for schemes and for -manifolds (over  and ). But for -manifolds over  with  this is not the correct definition. Here one has to take equivalence classes of -curves through the point. Isn't there some general definition of tangent spaces which is always the right one?
I am also not completely sure what "right" means. So far, I think that one wants the dimension of the tangent space to be equal to the dimension of the point. This is for example the problem with the Zariski tangent spaces for -manifolds. Can this failure be explained geometrically?