Definition:Category of n-Dimensional Cobordism

From ProofWiki
Jump to navigation Jump to search

Definition

The category of n-dimensional cobordism is the category $\mathbf{nCob}$ with:

Objects:         $\paren {n - 1}$-dimensional topological manifolds
Morphisms: cobordisms
Composition: glueing of cobordisms
Identity morphisms: cylinder cobordisms