Tensor product
Set
todo
definition as set using equivalence relations
point out universal property
write down rule of it - the ones we actually need when doing e.g. quantum information
Reference
Wikipedia: Tensor product
Requirements
Context
todo
definition as set using equivalence relations
point out universal property
write down rule of it - the ones we actually need when doing e.g. quantum information
Wikipedia: Tensor product
