- #1
huyichen
- 29
- 0
It is a well fact that tensor product is associative up to isomorphism, but how should I use Universal property(you know, diagrams that commute) to show that it is true?