Similar Items: Some remarks on connectors and groupoids in Goursat categories
- On Second-Order Monadic Monoidal and Groupoidal Quantifiers
- A classical groupoid model for quantum networks
- Constructing Higher Inductive Types as Groupoid Quotients
- Connector algebras for C/E and P/T nets' interactions
- On some categorical-algebraic conditions in S-protomodular categories
- On the Taylor expansion of $lambda$-terms and the groupoid structure of their rigid approximants