A canonical projection on a product space is a quotient map .

Proof
A canonical projection is surjective and open . According to (0x67a4b848) it is a quotient map.