Let (π΄,β π΄) and (π΅,β π΅) be π-algebras
The tensor product algebra(π΄βπ΅,β π΄βπ΅) is their tensor product vector spaceπ΄βπ΅ along with the product defined by the following commutative diagram falg
where π½:πβπβ¦πβπ is the braiding morphism for π΅πΎπΌππ.
Thus