Discrete Generalised Polynomial Functors

DOI10.1007/978-3-642-31585-5_22zbMath1367.18004OpenAlexW104819362MaRDI QIDQ3167013

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

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

Related Items (8)

Bicategories in univalent foundations ⋮ A general framework for the semantics of type theory ⋮ Differential 2-rigs ⋮ Unnamed Item ⋮ Characterizing functions mappable over GADTs ⋮ Unnamed Item ⋮ The universal exponentiable arrow ⋮ Categories with Families: Unityped, Simply Typed, and Dependently Typed

This page was built for publication: Discrete Generalised Polynomial Functors