no code implementations • 28 Jul 2021 • Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
We enhance the calculus of string diagrams for monoidal categories with hierarchical features in order to capture closed monoidal (and cartesian closed) structure.