0
$\begingroup$

Let $Vect_f$ be the category of finite-dimensional vector spaces. This category comes with a very well-behaved duality functor. Now the ind-completion of this category (if I understand correctly) is the category $Vect$ of all vector spaces, and the pro-completion will then be the dual categor, $ProVect_f$ (which includes things like formal power series).

Suppose I take an object $V$ in $ProVect_f$. Then $V\otimes V^*$ can be viewed as either an object of the ind-completion of $ProVect_f$ or an object of the pro-completion of $Vect = IndVect_f$. My question is whether it is meaningful to view $V\otimes V^*$ as an algebra object in an appropriate monoidal category.

$\endgroup$
3
  • 1
    $\begingroup$ The title and body ask different questions! If $V$ is finite-dimensional then $\text{End}(V)$ isn't $V \otimes V^{\ast}$; the latter is endomorphisms $V \to V$ of finite rank, which is not an algebra object due to failing to have an identity. $\endgroup$ Sep 26, 2016 at 19:19
  • $\begingroup$ Right. What I'm looking for should be something like an idempotented algebra (it is supposed to admit a map from the Hecke algebra of a p-adic group) $\endgroup$ Sep 26, 2016 at 20:28
  • $\begingroup$ Who said algebras must have identities :) $\endgroup$ Sep 26, 2016 at 23:59

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.