Skip to main content
MathOverflow

Return to Question

deleted 3 characters in body
Source Link
Glen M Wilson
Glen M Wilson
  • 1.2k
  • 1
  • 12
  • 21

In the category of smooth real manifolds, do all small colimits exist? In other words, is this category small-cocomplete? I can see that computing push-outs in the category of topological spaces of smooth manifolds need not no be manifolds, but this is not a proof.

In the category of smooth real manifolds, do all small colimits exist? In other words, is this category small-cocomplete? I can see that computing push-outs in the category of topological spaces of smooth manifolds need not no be manifolds, but this is not a proof.

In the category of smooth real manifolds, do all small colimits exist? In other words, is this category small-cocomplete? I can see that computing push-outs in the category of topological spaces of smooth manifolds need not be manifolds, but this is not a proof.

added 2 characters in body
Source Link
Glen M Wilson
Glen M Wilson
  • 1.2k
  • 1
  • 12
  • 21

In the category of smooth real manifolds, do all small colimits exist? More generallyIn other words, is this category small-completecocomplete? I can see that computing push-outs in the category of topological spaces of smooth manifolds need not no be manifolds, but this is not a proof.

In the category of smooth real manifolds, do all small colimits exist? More generally, is this category small-complete? I can see that computing push-outs in the category of topological spaces of smooth manifolds need not no be manifolds, but this is not a proof.

In the category of smooth real manifolds, do all small colimits exist? In other words, is this category small-cocomplete? I can see that computing push-outs in the category of topological spaces of smooth manifolds need not no be manifolds, but this is not a proof.

Source Link
Glen M Wilson
Glen M Wilson
  • 1.2k
  • 1
  • 12
  • 21

Colimits in the category of smooth manifolds

In the category of smooth real manifolds, do all small colimits exist? More generally, is this category small-complete? I can see that computing push-outs in the category of topological spaces of smooth manifolds need not no be manifolds, but this is not a proof.