text: Здесь структурный морфизм ϕ A , B : U ( A ) × U ( B ) → U ( A ⊗ B ) {\displaystyle \phi _{A,B}\colon U(A)\times U(B)\to U(A\otimes B)} — это сюрьекция, индуцированная стандартным отображением A × B → A ⊗ B → {\displaystyle A\times B\to A\otimes B\to } ; отображение ϕ : { ∗ } → Z {\displaystyle \phi \colon \{*\}\to \mathbb {Z} } переводит синглетон * в 1.