Take the 2-minute tour ×
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.

The pushout in the category of topological spaces is given by the gluing of spaces along continuous maps. Does there exist a similar "easy" topological description of the pullback? Does it even always exist in this category?

share|improve this question
add comment

1 Answer

up vote 6 down vote accepted

Yes, exists, and is a subspace of $A\times B$, in case you want to pull back $f:A\to C$ and $g:B\to C$. Namely, a kind of 'equalizer': $$A{}_f\times_g B:= \{ (a,b)\mid f(a)=g(b)\} $$ I think you can draw it somehow..

Somehow.. generally, pullback 'asks' for the solution (when $f=g$?), and pushout 'realizes' or 'forces' (topologically: 'glues') the solution, saying: "let $f(a)=g(a)$ in the new space for all $a$".

share|improve this answer
1  
Thanks a lot for your insight, helped me a lot! –  Your Ad Here Oct 17 '12 at 17:49
4  
It is precisely an equalizer. In any category with finite products, pullbacks can be computed by computing a corresponding equalizer. Note also that the forgetful functor $\text{Top} \to \text{Set}$ has both a left and a right adjoint, hence preserves both limits and colimits, so in particular on underlying sets the pullback in $\text{Top}$ is just the pullback in $\text{Set}$, and it's straightforward to figure out what the required topology is. –  Qiaochu Yuan Oct 17 '12 at 17:57
add comment

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.