Lagrangian Relations and Quantum $L_{\mathrm{\infty }}$ Algebras

Quantum $L_{\mathrm{\infty }}$ algebras are higher loop generalizations of cyclic $L_{\mathrm{\infty }}$ algebras. Motivated by the problem of defining morphisms between such algebras, we construct a linear category of $(-1)$-shifted symplectic vector spaces and distributional half-densities, originally proposed by Ševera. Morphisms in this category can be given both by formal half-densities and Lagrangian relations; we prove that the composition of such morphisms recovers the construction of homotopy transfer of quantum $L_{\mathrm{\infty }}$ algebras. Finally, using this category, we propose a new notion of a relation between quantum $L_{\mathrm{\infty }}$ algebras.