Relations between states and maps, which are known for quantum systems in finite-dimensional Hilbert spaces, are formulated rigorously in geometrical terms with no use of coordinate (matrix) interpretation. In a tensor product realization they are represented simply by a permutation of factors. This leads to natural generalizations for infinite-dimensional Hilbert spaces and a simple proof of a * email: jagrab@impan.gov.pl † email: marek.kus@cft.edu.pl ‡ email: marmo@na.infn.it 1 generalized Choi Theorem. The natural framework is based on spaces of HilbertSchmidt operators L 2 (H 2 , H 1 ) and the corresponding tensor products H 1 ⊗ H * 2 of Hilbert spaces. It is proved that the corresponding isomorphisms cannot be naturally extended to compact (or bounded) operators, nor reduced to the traceclass operators. On the other hand, it is proven that there is a natural continu-1 ) (with the nuclear norm) into compact operators mapping the space of all bounded operators on H 2 into trace class operators on H 1 (with the operatornorm). Also in the infinite-dimensional context, the Schmidt measure of entanglement and multipartite generalizations of state-maps relations are considered in the paper.