- #1
Heidi
- 413
- 40
Hi Pfs,
My question is about this construction:
https://en.wikipedia.org/wiki/Free_product
I see how G * H is built but how to prove that it verifies the coproduct universal property:?
My question is about this construction:
https://en.wikipedia.org/wiki/Free_product
I see how G * H is built but how to prove that it verifies the coproduct universal property:?