射影
圏論的直積の成分への標準射影 →積 (圏論)
対象のある種の分類を与えるエピ射 →商対象