Cartesian categories with natural numbers object

DOI10.1016/0022-4049(89)90042-XzbMATH Open0679.18004MaRDI QIDQ1822604FDOQ1822604

Authors: Leopoldo Román 

Publication date: 1989

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

Recommendations

• scientific article; zbMATH DE number 1366607
• An equational variant of Lawvere's natural numbers object
• The maximality of Cartesian categories
• scientific article; zbMATH DE number 221078
• Monoidal categories with natural numbers object

zbMATH Keywords

natural number objectarithmetic over Cartesian categories

Mathematics Subject Classification ID

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (16)

• A note on natural numbers objects in monoidal categories
• Objects of categories as complex numbers
• An equational variant of Lawvere's natural numbers object
• Natural number objects in Dialectica categories
• Monoidal categories with natural numbers object
• Title not available (Why is that?)
• Title not available (Why is that?)
• An internal language for autonomous categories
• List-arithmetic distributive categories: Locoi
• Category with a natural cone
• Induction, coinduction, and adjoints
• V-comprehensions and P space
• Aspects of categorical recursion theory
• Galois theory of algorithms
• Primitive recursion, equality, and a universal set
• Tail recursion through universal invariants

This page was built for publication: Cartesian categories with natural numbers object

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