As explained in [1]}, if \(V\)  is finite-dimensional, then \(E_A(V)\)  is a finitely generated projective
left \(B\) -module. In other words, (REF ) restricts to a functor
\(E_A\colon \ {}^H\!\!{M}{}\!_{\mathrm {fin}} \longrightarrow {}_B{P} .\) 
