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.

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. Inclusion test: Require a specified manifold category and smoothness class, objects of that class, morphisms exactly of the declared regularity, and verified identity/composition closure. Exclusion test: Exclude the category of topological spaces, a collection of manifolds with arbitrary functions, the differential category concept, and informal 'all manifolds' without boundary/dimension conventions. Nearest boundary: The category of smooth manifolds uses C∞ maps; the category of topological manifolds uses continuous maps and has many more morphisms. Exit condition: Changing morphisms from C^p maps to embeddings, diffeomorphisms, correspondences, or arbitrary continuous maps defines a different category. Common misclassifications: 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. Nearest named distinctions: Category of topological spaces: Allows all continuous maps between all spaces. Diffeomorphism groupoid: Includes only invertible smooth maps. Tangent category: Is an axiomatic categorical structure, not simply Man. Differential category: Belongs to categorical semantics and differential combinators.

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.

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