traced monoidal category premonoidal category traced premonoidal category References Traced Premonoidal Categories (Benton, Hyland) Geometry of Interaction and Linear Combinatory Algebras (Abramsky, Haghverdi, Scott) String Diagrams for Premonoidal Categories (Román, Sobociński, 2023)
