Abstract:We provide new proofs for the classical insertion theorems of Dowker and Michael. The proofs are geometric in nature and highlight the connection with the preservation of normality in products. Both proofs follow directly from the Kat\v {e}tov-Tong insertion theorem and we also discuss a proof of this.
Keywords: insertion of continuous functions, normality, countable paracompactness, perfect
AMS Subject Classification: Primary 54C30, 54D15