Similar Items: Constructing Higher Inductive Types as Groupoid Quotients
- Quotients, inductive types, and quotient inductive types
- Signatures and Induction Principles for Higher Inductive-Inductive Types
- Quotients of Bounded Natural Functors
- On Second-Order Monadic Monoidal and Groupoidal Quantifiers
- Some remarks on connectors and groupoids in Goursat categories
- A classical groupoid model for quantum networks