We develop an abstract framework for the investigation of quantization and dequantization procedures based on orthogonality relations that do not necessarily involve group representations. To illustrate the usefulness of our abstract method, we show that it behaves well with respect to infinite tensor products. This construction subsumes examples from the study of magnetic Weyl calculus, magnetic pseudo-differential Weyl calculus, metaplectic representation on locally compact abelian groups, irreducible representations associated with finite-dimensional coadjoint orbits of some special infinite-dimensional Lie groups, and square-integrability properties shared by arbitrary irreducible representations of nilpotent Lie groups.
"Symbol calculus of square-integrable operator-valued maps." Rocky Mountain J. Math. 46 (6) 1795 - 1851, 2016. https://doi.org/10.1216/RMJ-2016-46-6-1795