Discrete Generalised Polynomial Functors
From MaRDI portal
Publication:3167013
Recommendations
- scientific article; zbMATH DE number 764510
- Polynomial functors and opetopes
- Publication:3485044
- scientific article; zbMATH DE number 1747171
- Quantitative Polynomial Functors (Early Ideas)
- Extension groups and polynomial functors
- Polynomial functors and homotopy theory
- On finiteness properties of polynomial functors
- A duality for polynomial functors
- Strict polynomial functors and coherent functors
Cited in
(12)- Polygraphs and Discrete Conduch{\'e} $\omega$-Functors
- Polynomial functors constrained by regular expressions
- A general framework for the semantics of type theory
- Differential 2-rigs
- Bicategories in univalent foundations
- A generalization of the Dress construction for a Tambara functor, and its relation to polynomial Tambara functors
- Characterizing functions mappable over GADTs
- Data types with symmetries and polynomial functors over groupoids
- The universal exponentiable arrow
- scientific article; zbMATH DE number 7649889 (Why is no real title available?)
- scientific article; zbMATH DE number 7559271 (Why is no real title available?)
- Categories with families: unityped, simply typed, and dependently typed
This page was built for publication: Discrete Generalised Polynomial Functors
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3167013)