Natural number objects in Dialectica categories

DOI10.1016/J.ENTCS.2014.06.005zbMATH Open1335.03026DBLPjournals/entcs/PaivaMS14OpenAlexW2026744363WikidataQ56994452 ScholiaQ56994452MaRDI QIDQ281151FDOQ281151

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

Recommendations

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

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)

Cites Work

• An internal language for autonomous categories
• Linear Recursive Functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Partial Recursive Functions and Finality
• Title not available (Why is that?)
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Monoidal categories with natural numbers object
• Gödel's system \(\mathcal T\) revisited

Cited In (3)

• Title not available (Why is that?)
• Categorical characterizations of the natural numbers require primitive recursion
• Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory

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)