Discrete Generalised Polynomial Functors

DOI10.1007/978-3-642-31585-5_22MaRDI QIDQ3167013zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

algebraic effectsKan extensionspolynomial functorsabstract syntaxpresheaf categoriesequational systemsdependent programminggeneralised logic

Mathematics Subject Classification ID

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)

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)