Discrete Generalised Polynomial Functors
DOI10.1007/978-3-642-31585-5_22zbMATH Open1367.18004OpenAlexW104819362MaRDI QIDQ3167013FDOQ3167013
Authors: Marcelo P. Fiore
Publication date: 1 November 2012
Published in: Automata, Languages, and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31585-5_22
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
algebraic effectsKan extensionspolynomial functorsabstract syntaxpresheaf categoriesequational systemsdependent programminggeneralised logic
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Categorical logic, topoi (03G30) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Semantics in the theory of computing (68Q55)
Cited In (12)
- 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
- Title not available (Why is that?)
- The universal exponentiable arrow
- Title not available (Why is that?)
- Categories with families: unityped, simply typed, and dependently typed
- Polygraphs and Discrete Conduch{\'e} $\omega$-Functors
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)