A tensor-hom adjunction in a topos related to vector topologies and bornologies | Publicación