Definition 17 [03RP] Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 1 original proof heading/text diagnostics lack independently established complete proof boundaries; diagnostic occurrences may overlap and are not a count of distinct proofs. Complete original source context · Original author HTML
Definition 17
For two objects with transversal supports
we define the space of morphisms such as follows
H o m F ( V , ω ) ( ( L 1 , ρ 1 , A r g ~ 1 ) , ( L 2 , ρ 2 , A r g ~ 2 ) ) := ( ⊕ x ∈ L 1 ∩ L 2 H o m ( ρ 1 x , ρ 2 x ) ) ⊗ 𝐂 ε . Hom_{F(V,\omega)}((L_{1},\rho_{1},\widetilde{Arg}_{1}),(L_{2},\rho_{2},\widetilde{Arg}_{2})):=(\oplus_{x\in L_{1}\cap L_{2}}Hom(\rho_{1x},\rho_{2x}))\otimes{{\bf C}}_{\varepsilon}.