Category of differential manifolds with smooth maps

From Diffgeom
Revision as of 01:36, 28 February 2008 by Vipul (talk | contribs)
Jump to: navigation, search

Template:Category structure on diff manifolds

Definition

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

Functors

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.