Natural number objects in Dialectica categories

DOI10.1016/J.ENTCS.2014.06.005MaRDI QIDQ281151zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Samuel Gomes da Silva, Valeria de Paiva, Charles J. G. Morgan

Publication date 10 May 2016

Full work available at URL https://doi.org/10.1016/j.entcs.2014.06.005

zbMATH Keywords

categorical logiclinear logicDialectica categoriesnatural numbers object

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30)

Recommendations

• scientific article; zbMATH DE number 4104952
• Cartesian closed Dialectica categories
• The Dialectica monad and its cousins
• Cartesian categories with natural numbers object
• Dialectica and Chu constructions: cousins?

Cites work

• scientific article; zbMATH DE number 3944108 (Why is no real title available?)
• scientific article; zbMATH DE number 4104952 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• An internal language for autonomous categories
• Dialectica and Chu constructions: cousins?
• Gödel's system \(\mathcal T\) revisited
• Linear Recursive Functions
• Monoidal categories with natural numbers object
• Partial recursive functions and finality

Cited in

(4)

• Cartesian closed Dialectica categories
• Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory
• scientific article; zbMATH DE number 4164840 (Why is no real title available?)
• Categorical characterizations of the natural numbers require primitive recursion

This page was built for publication: Natural number objects in Dialectica categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q281151)