It is not always a monomorphism. Let X be R^2 \setminus { (x,y) : x^2 + y^2 <= 1 }. Then X has fundamental group the integers, but Y is contractible.
David E Speyer
- 156.4k
- 14
- 422
- 763