Earlier version
References.
- Open Diagrams via Coend Calculus (Román, 2020)
- The Produoidal Algebra of Process Decomposition (Earnshaw, Hefford, Román, 2023)
Tags: Discocat, Lambek pregroup, Discokitty, Autonomous category.
References.
Tags: Discocat, Lambek pregroup, Discokitty, Autonomous category.