Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
7  
This is a duplicate: mathoverflow.net/questions/78175/largest-hausdorff-quotient –  Theo Buehler Dec 30 '11 at 8:44
5  
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
add comment

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

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.