파일:commutative diagram for free product2.png