from the diffeology article differentiable manifolds also generalize smoothness they are normally defined as topological manifolds with an atlas whose transition maps are smooth which is used to pull back the differential structure emphasis mine the point is not whether differentiable manifolds can be defined without an atlas i already pointed out that they can also be defined with sheaves but that the classical definition that most mathematicians are still using is the atlas definition markus is correct that the choice of an atlas for a topological manifold doesn't matter but to be a manifold i will contend that it must have some atlas defining the sphere as a set of zeroes is implicitly embedding the sphere into another space it has already been pointed out several times that a topological sphere does not have a unique differentiable manifold structure how is the differentiable manifold structure induced by the embedding and more to the point how can one understand the corresponding differentiable manifold structure on a topological sphere without mentioning this embedding topological spaces are not equipped with embeddings a priori that a sphere with a differentiable manifold structure has a topological embedding into euclidean space does not at all imply that the differentiable structure was induced by this embedding