Similar Items: A Linear Category of Polynomial Functors (extensional part)
- Extensional and Non-extensional Functions as Processes
- Algebraic cocompleteness and finitary functors
- Quotients of Bounded Natural Functors
- A formulation of D-institution using functor categories
- Proper Functors and Fixed Points for Finite Behaviour
- Extending set functors to generalised metric spaces