Similar Items: A classical groupoid model for quantum networks
- On Second-Order Monadic Monoidal and Groupoidal Quantifiers
- Some remarks on connectors and groupoids in Goursat categories
- Constructing Higher Inductive Types as Groupoid Quotients
- Environment and classical channels in categorical quantum mechanics
- On the Taylor expansion of $lambda$-terms and the groupoid structure of their rigid approximants
- New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic