商写像
数学における商写像(しょうしゃぞう、英: quotient mapping)、自然な全射 (natural surjection) あるいは標準全射 (canonical surjection) または自然な射影 (natural projection) あるいは標準射影 (canonical projection) は、考えている集合に適当な同値関係が与えられているとき、その各元をそれが属する同値類へ送る写像で、数学の様々な分野において生じる。圏論において商対象の概念に一般化される。