Manp Is A Concrete Category
Like many categories, the category Manp is a concrete category, meaning its objects are sets with additional structure (i.e. a topology and an equivalence class of atlases of charts defining a Cp-differentiable structure) and its morphisms are functions preserving this structure. There is a natural forgetful functor
- U : Manp → Top
to the category of topological spaces which assigns to each manifold the underlying topological space the underlying set and to each p-times continuously differentiable function the underlying continuous function of topological spaces. Similarly, there is a natural forgetful functor
- U′ : Manp → Set
to the category of sets which assigns to each manifold the underlying set and to each p-times continuously differentiable function the underlying function.
Read more about this topic: Category Of Manifolds
Famous quotes containing the words concrete and/or category:
“The clock of communism has stopped striking. But its concrete building has not yet come crashing down. For that reason, instead of freeing ourselves, we must try to save ourselves from being crushed by its rubble.”
—Alexander Solzhenitsyn (b. 1918)
“I see no reason for calling my work poetry except that there is no other category in which to put it.”
—Marianne Moore (1887–1972)