Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $Y_1\overset{f}{\longrightarrow}X\overset{f_2}{\longleftarrow} Y_2$ be smooth maps with a common target. Suppose that we have a pullback $Z$ of the diagram in (Mfd).


  1. Suppose that we have a manifold $Z$ satisfying the universal property of pullbacks. Is the subset $\{(y_1,y_2) \in Y_1 \times Y_2 \mid f_1(y_1)=f_2(y_2)\}$ a submanifold of $Y_1 \times Y_2$ diffeomorphic to $Z$?
  2. Is a pullback in (Mfd) always a pullback in (Top)?
  3. Does the forgetful functor (Mfd)$\to$(Top) preserve all small (or finite) limits?
  4. If you know a good reference to categorical properties of manifolds, please let me know.


  • (Mfd) is the category of smooth manifolds and smooth maps.
  • (Top) is the category of topological spaces and continuous maps.
  • In my question, a pullback is a limit in the sense of the theory of categories, i.e. a pullback is a manifold/topological space satisfying the universal property of pullback.
share|cite|improve this question
I slightly modified Q1. – H. Shindoh Mar 11 '13 at 18:56
Related (but not identical):… – Martin Brandenburg Mar 11 '13 at 23:24
I have asked the same question at… – H. Shindoh Mar 12 '13 at 12:32

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.