# h-cobordism theorem in three category

In wikipedia page, it says that h-cobordism theorem is true for three category=DIFF,TOP,PL. I learned a proof of h-cobordism theorem using Morse function, but it works only in DIFF category. How is this theorem in two other category is proved?

-