Similar Items: Quotients of Bounded Natural Functors
- Quotients, inductive types, and quotient inductive types
- Algebraic cocompleteness and finitary functors
- Proper Functors and Fixed Points for Finite Behaviour
- Extending set functors to generalised metric spaces
- A Linear Category of Polynomial Functors (extensional part)
- Constructing Higher Inductive Types as Groupoid Quotients