Category of differential manifolds with smooth maps

From Diffgeom
Revision as of 19:34, 18 May 2008 by Vipul (talk | contribs) (5 revisions)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
This article defines a category structure on manifolds (possibly with additional structure)
View other category structures on manifolds


The category of differential manifolds with smooth maps is defined as follows:


There is a functor from the category of differential manifolds and smooth maps, to the category of topological spaces with continuous maps, that sends a differential manifold to its underlying topological space, and sends a smooth map to the underlying continuous map of topological spaces.