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

abstract syntaxalgebraic effectsdependent programmingequational systemsgeneralised logicKan extensionspolynomial functorspresheaf categories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 764510
• Polynomial functors and opetopes
• scientific article; zbMATH DE number 4156726
• 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)

• A generalization of the Dress construction for a Tambara functor, and its relation to polynomial Tambara functors
• The universal exponentiable arrow
• Polynomial functors constrained by regular expressions
• Data types with symmetries and polynomial functors over groupoids
• Categories with families: unityped, simply typed, and dependently typed
• Bicategories in univalent foundations
• Bicategories in univalent foundations
• Polygraphs and Discrete Conduch{\'e} $\omega$-Functors
• scientific article; zbMATH DE number 7649889 (Why is no real title available?)
• A general framework for the semantics of type theory
• Differential 2-rigs
• Characterizing functions mappable over GADTs

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)