Natural number objects in Dialectica categories

DOI10.1016/J.ENTCS.2014.06.005zbMath1335.03026DBLPjournals/entcs/PaivaMS14OpenAlexW2026744363WikidataQ56994452 ScholiaQ56994452MaRDI QIDQ281151

Samuel Gomes da Silva, V. C. V. 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

linear logiccategorical logicDialectica categoriesnatural numbers object

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) 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)

Cites Work

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

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