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

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|cite|improve this question
up vote 8 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|cite|improve this answer
5  
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

Your Answer

 
discard

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