Is there a gap in the standard treatment of simplicial homology? On MO, Daniel Moskovich has this to say about the Hauptvermutung:

The Hauptvermutung is so obvious that it gets taken for granted everywhere, and most of us learn algebraic topology without ever noticing this huge gap in its foundations (of the text-book standard simplicial approach). It is implicit every time one states that a homotopy invariant of a simplicial complex, such as simplicial homology, is in fact a homotopy invariant of a polyhedron.

I have to admit I find this statement mystifying. We recently set up the theory of simplicial homology in lecture and I do not see anywhere that the Hauptvermutung needs to be assumed to show that simplicial homology is a homotopy invariant. Doesn't this follow once you have simplicial approximation and you also know that simplicial maps which are homotopic induce chain-homotopic maps on simplicial chains? 
 A: One doesn't need to explicitly compare  with singular homology to get homotopy invariance (although that is certainly one way to do it), and one certainly doesn't need the Hauptvermutung (thankfully, since it is false in general).  Rather, as you say, one can simplicially approximate a continuous map between simplicial complexes, and thus make simplicial homology a functor on the category of simplicial complexes and continuous maps (which, as you observe, will then factor through the homotopy category).  Just thinking it over briefly, it seems to me that the hardest step in this approach will be to show that the induced map on homology really is independent of the choice of a  simplicial approximation. Presumably this was covered in the lectures you are attending.  (In fact, I guess this amounts to the fact that homotopic simplicial maps induce the same map on homology, which you say you have proved.)   
A: I think maybe what he means is that people think that simplicial homology is a homotopy invariant of polyhedra, or at least take the fact for granted, not that simplicial homology is not a homotopy invariant of simplicial complexes. I guess his main point is that homotopy invariants of simplicial complexes are not necessarily homotopy invariants of polyhedra.
does this help? or was this much obvious?
A: I didn't state it very well- what I meant is that standard algebraic topology textbooks take for granted (or cause the reader to take for granted) that topology of polyhedra is the same as topology of simplicial complexes. Sean Tilson's response is spot-on; I'll restate it in my own words.
By simplicial approximation, continuous maps of polyhedra are homotopic to PL maps. However, homeomorphisms of polyhedra might not be homotopic to PL homeomorphisms, merely to PL maps (the statement that they are is an equivalent formulation of the Hauptvermutung). So a (combinatorial) homotopy invariant of simplicial complexes might a-priori fail to be a homotopy invariant of polyhedra, unless one proves also that it's independent of the choice of simplicial approximation (which Matt E. and Qiaochu both say). It isn't enough just to show that it's independent under combinatorial homotopy of simplicial complexes.
I apologise for the confusion. My answer was essentially taken from Page 4 of The Hauptvermutung Book- I apologise also for the lack of attribution. I interpret what it says there as the assertion that textbooks don't tend to check independence with respect to choice of simplicial approximation; and my own experience (or inattentiveness) leads me to suspect that this is indeed the case. I'll look in a library on Monday, and maybe edit this response again.
