MathOverflow is a question and answer site for professional mathematicians. 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

Possible Duplicate:
Largest Hausdorff quotient

Is there a left adjoint to ${\mathbf{Haus}}\to{\mathbf{Top}}$? Here ${\mathbf{Haus}}$ is the full subcategory of Hausdorff spaces in ${\mathbf{Top}}$?

If this is too much to ask, how about a left adjoint to the restriction to compact spaces ${\mathbf{CptHaus}}\to{\mathbf{CptTop}}$?

share|cite|improve this question

marked as duplicate by Ryan Budney, Gjergji Zaimi, Qiaochu Yuan, Dmitri Pavlov, Andreas Blass Dec 30 '11 at 15:36

This question was marked as an exact duplicate of an existing question.

This is a duplicate: – Theo Buehler Dec 30 '11 at 8:44
Yes, there is such an object. The idea for the definition comes from the universal mapping property encoded in the definition of adjoint. I'd call this functor the "maximal Hausdorff quotient" of a space. This is a good homework problem in a point-set topology course. Given a topological space $X$, consider all equivalence relations on $X$ with Hausdorff quotient, and take the intersection of all such equivalence relations. – Ryan Budney Dec 30 '11 at 8:54