category of smooth manifolds

Here, a smooth manifold is defined as a second-countable Hausdorff space with a smooth atlas. The dimension is locally constant, not necessarily constant.

Satisfied Properties

Assigned properties

Deduced properties

Unsatisfied Properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties

—

Special objects

  • terminal object: singleton manifold of dimension 00
  • initial object: empty manifold
  • products: [finite case] direct products X×YX \times Y with the product topology and the charts Rn+m=Rn×Rm≅U×V↪X×Y\IR^{n + m} = \IR^n \times \IR^m \cong U \times V \hookrightarrow X \times Y for charts Rn≅U↪X\IR^n \cong U \hookrightarrow X and Rm≅V↪Y\IR^m \cong V \hookrightarrow Y
  • coproducts: [countable case] disjoint union with the disjoint union topology and the obvious charts

Special morphisms

  • isomorphisms: diffeomorphisms
  • monomorphisms: injective smooth maps
  • epimorphisms: smooth maps with dense image
  • regular monomorphisms:
  • regular epimorphisms: