Cartesian categories with natural numbers object

DOI10.1016/0022-4049(89)90042-XzbMath0679.18004MaRDI QIDQ1822604

Leopoldo Román

Publication date: 1989

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

natural number objectarithmetic over Cartesian categories

Mathematics Subject Classification ID

Related Items

V-comprehensions and P space, Primitive recursion, equality, and a universal set, Galois Theory of Algorithms, Tail recursion through universal invariants, List-arithmetic distributive categories: Locoi, Induction, Coinduction, and Adjoints, Aspects of Categorical Recursion Theory, An internal language for autonomous categories

Cites Work

• Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item