Category of Manifolds¶

The category whose objects are manifolds of a declared C^p class and whose morphisms are C^p maps, with variants fixing model spaces, dimension, boundary, or smoothness conventions.

Version: v1 · 2026-09-28 · History
Domain-specific #: 8365
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Differential Geometry, Category Theory → Mathematics
Aliases: Manifold Category

Core Idea¶

A category of manifolds is specified as much by its arrows as by its objects. In Man^p, objects carry C^p manifold structure and morphisms are C^p maps; identity maps qualify and compositions remain in the same regularity class.

Variants must state finite or infinite dimension, boundary or corners, analytic versus smooth regularity, and model spaces. Forgetting to topology or sets is faithful, but arbitrary continuous functions do not become smooth arrows.

How would you explain it like I'm…

Smooth Shapes, Smooth Moves

Some shapes are smooth all over, like a ball's surface. Mathematicians keep a big collection of these smooth shapes along with smooth ways of moving from one shape to another. A jerky, bumpy move is not allowed in, even if it never tears the shape.

Shapes Plus Their Maps

A manifold is a shape that looks like ordinary flat space when you zoom in close enough, like how the Earth looks flat up close. In the category of manifolds, the objects are these shapes, and the arrows are the smooth maps between them. Doing nothing is a smooth map, and doing one smooth map after another is still smooth, so it all fits together. You have to say exactly how smooth you mean, and plain continuous maps with kinks don't count as arrows here.

Manifolds with Regular Maps

A category of manifolds is defined by its objects and its arrows (morphisms). In the category Man^p, the objects are manifolds with a C^p structure (meaning they can be differentiated p times in a consistent way), and the morphisms are C^p maps between them. The identity map on any manifold qualifies, and composing two C^p maps gives another C^p map, so the category rules hold. There are many variants, and you must say which: finite or infinite dimensional, with or without boundary or corners, smooth or analytic, and what model spaces the manifolds are built on. You can 'forget' the smooth structure and view manifolds as just topological spaces or sets, but that doesn't make every continuous function into a smooth arrow.

A category of manifolds is specified by both objects and morphisms. In Man^p the objects are C^p manifolds and the morphisms are C^p maps; identities are C^p and C^p maps compose to C^p maps, so the axioms of a category hold within a fixed regularity class. Any variant must declare its parameters: finite or infinite dimension, the presence of boundary or corners, analytic versus smooth versus finite-order regularity, and the model spaces charts take values in. There are forgetful functors to topological spaces and to sets, and these are faithful, since distinct C^p maps remain distinct as functions. They are not full, however: an arbitrary continuous map between manifolds is not a morphism of Man^p.

Structural Signature¶

Sig role-phrases:

C^p manifolds — Supply objects with topology and compatible atlases. It is object class. Counterfactual: Arbitrary topological spaces are not objects for p>0.
C^p maps — Supply structure-preserving arrows. It is morphism class. Counterfactual: Continuous non-differentiable maps are excluded for p>0.
Identity maps — Give an arrow on every object. It is category unit. Counterfactual: Without identity closure there is no category.
Composition — Combines arrows and remains C^p. It is category operation. Counterfactual: A morphism class not closed under composition fails.
Smoothness/model convention — Fixes finite/infinite dimension, boundary, corners, and local model. It is variant frame. Counterfactual: Man is ambiguous without these choices.
Forgetful functor — Maps structured objects/arrows to topology or sets faithfully. It is concreteness witness. Counterfactual: Faithful does not mean full or structure-free.

What It Is Not¶

It is not the category of all topological spaces.
It is not a category with only diffeomorphisms unless stated.
Faithful forgetful does not mean full.
Man is ambiguous without regularity and boundary conventions.
Closest near-miss. The category of smooth manifolds uses C∞ maps; the category of topological manifolds uses continuous maps and has many more morphisms.

Scope of Application¶

Differential geometry. Provides the ambient category for constructions.
Category theory. Studies functors, limits, and structure.
Global analysis. Tracks smooth maps between spaces.
Geometric topology. Compares smooth and topological categories.

Clarity¶

State C^p/analytic class, dimension and model spaces, Hausdorff/countability assumptions, boundary/corners, morphism class, identity/composition, chosen subcategory, and forgetful or inclusion functors.

Manages Complexity¶

The category packages local coordinate regularity into a global object–arrow system, making small changes in smoothness or morphism type produce materially different categorical behavior.

Abstract Reasoning¶

Fix the manifold convention.
Define the precise morphism regularity.
Verify identities and composition closure.
Specify restricted model or dimension if any.
Use forgetful and inclusion functors without overstating fullness.

Knowledge Transfer¶

Categorical results transfer between Man^p variants only when objects and arrow regularity are preserved; a functor valid for smooth maps may fail for continuous maps, embeddings, or manifolds with corners.

Examples¶

Canonical¶

Smooth manifolds M,N and smooth maps f:M→N, g:N→P compose to a smooth g∘f, with id_M smooth; these data form Man∞.

Mapped back: objects → smooth manifolds; morphisms → smooth maps; identity → smooth; composition → closed.

Applied / In Practice¶

The same objects with only diffeomorphisms form a groupoid, not the ordinary category of manifolds because noninvertible smooth maps are omitted.

Mapped back: objects → same; morphisms → diffeomorphisms only; category → different.

Structural Tensions¶

T1 — Broad Natural Morphisms versus Geometric Rigidity. All smooth maps support functorial calculus while embeddings or diffeomorphisms preserve more geometry.

Diagnostic: Which arrow class does the construction require?

T2 — Concrete Underlying Sets versus Structure-Sensitive Arrows. A faithful forgetful functor reveals functions but not every function lifts to a manifold morphism.

Diagnostic: Is fullness being incorrectly inferred from faithfulness?

Structural–Framed Character¶

Category of Manifolds is structural as an object–morphism category and geometrically framed by regularity and model conventions.

Structural Core vs. Domain Accent¶

The core is objects, arrows, identities, composition, and forgetful structure. Differential geometry supplies atlases, smoothness, boundary, and modeling spaces.

This entry is a kind of Category.

Approved root. No reviewed parent entails this geometric category.
Related — manifold, smooth map, concrete category, forgetful functor, and diffeomorphism groupoid. They provide objects, arrows, categorical property, bridge, and contrast.

Relationships to Other Abstractions¶

Current abstraction Category of Manifolds Domain-specific

Parents (1) — more general patterns this builds on

Category of Manifolds is a kind of Category Prime

Category of Manifolds is a strict kind of Category: its objects are manifolds and its morphisms are composable differentiability-class maps.

Hierarchy paths (3) — routes to 3 parentless roots

Category of Manifolds → Category → Associativity → Invariance

Show alternative paths (2)

Neighborhood in Abstraction Space¶

Category of Manifolds sits in a crowded region of the domain-specific corpus (26^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Category Theory & Higher Structures (18 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Category of topological spaces. Tell: Allows all continuous maps between all spaces.
Diffeomorphism groupoid. Tell: Includes only invertible smooth maps.
Tangent category. Tell: Is an axiomatic categorical structure, not simply Man.
Differential category. Tell: Belongs to categorical semantics and differential combinators.

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Category_of_manifolds (revision 1338623250).
Preserved source candidate: https://archive.org/details/introductiontoma00lwtu_506/page/n107

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.