diff --git a/docs/src/lib/spaces.md b/docs/src/lib/spaces.md index 1e047c60..87781715 100644 --- a/docs/src/lib/spaces.md +++ b/docs/src/lib/spaces.md @@ -62,7 +62,7 @@ while the following also work on both `ElementarySpace` and `ProductSpace` ```@docs fuse :⊗ -:⊠ +⊠(::VectorSpace, ::VectorSpace) one ismonomorphic isepimorphic diff --git a/src/sectors/product.jl b/src/sectors/product.jl index c99bd762..3bc45526 100644 --- a/src/sectors/product.jl +++ b/src/sectors/product.jl @@ -180,7 +180,7 @@ const deligneproduct = ⊠ deligneproduct(s₁::Sector, s₂::Sector) Given two sectors `s₁` and `s₂`, which label an isomorphism class of simple objects in a -fusion category ``C₁`` and ``C₂``, `s1 ⊠ s2` (obtained as `\boxtimes+TAB`) labels the +fusion category ``C₁`` and ``C₂``, `s1 ⊠ s2` (obtained as `\\boxtimes+TAB`) labels the isomorphism class of simple objects in the Deligne tensor product category ``C₁ ⊠ C₂``. The Deligne tensor product also works in the type domain and for spaces and tensors. For