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