Natural number objects in Dialectica categories
From MaRDI portal
(Redirected from Publication:281151)
Recommendations
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)