1: \begin{abstract}

2: We provide a construction for holes into which morphisms of abstract symmetric monoidal categories can be inserted, termed the \textit{polyslot} construction $\mathbf{pslot}[\mathbf{C}]$, and identify a sub-class $\mathbf{srep}[\mathbf{C}]$ of polyslots which are \textit{single-party representable}. These constructions strengthen a previously introduced notion of locally-applicable transformation used to characterize quantum supermaps in a way that is sufficient to reconstruct unitary supermaps directly from the monoidal structure of the category of unitaries. Both constructions furthermore freely reconstruct the enriched polycategorical semantics for quantum supermaps which allows to compose supermaps in sequence and in parallel whilst forbidding the creation of time-loops. By doing so supermaps and their polycategorical semantics are generalized to infinite dimensions, in such a way as to include canonical examples such as the quantum switch. Beyond specific applications to quantum-relevant categories, a general class of categorical structures termed path-contraction groupoids are defined on which the $\mathbf{srep}[\mathbf{C}]$ and $\mathbf{pslot}[\mathbf{C}]$ constructions are shown to coincide.

3: \end{abstract}

4: