1

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}}$?

flag
7 
 This is a duplicate: mathoverflow.net/questions/78175/… – Theo Buehler Dec 30 2011 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 2011 at 8:54

closed as exact duplicate by Ryan Budney, Gjergji Zaimi, Qiaochu Yuan, Dmitri Pavlov, Andreas Blass Dec 30 2011 at 15:36

Browse other questions tagged or ask your own question.