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

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)

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)