An equational variant of Lawvere's natural numbers object

DOI10.1016/S0022-4049(99)00178-4MaRDI QIDQ1588078zbMATH OpenFDO

Authors J. Lambek

Publication date 17 June 2001

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

zbMATH Keywords

weak natural numbers objectinternal logic of cartesian closed categoryMal'cev operationnatural numbers object in cartesian closed categoryrecursively defined morphisms

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Special categories (18B99) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Categories and theories (18C99)

Recommendations

• Cartesian categories with natural numbers object
• Monoidal categories with natural numbers object
• scientific article; zbMATH DE number 221078
• scientific article; zbMATH DE number 4128803
• scientific article; zbMATH DE number 1366607

Cites work

• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Adjointness in Foundations
• Least fixpoints of endofunctors of cartesian closed categories
• Pre-recursive categories
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(5)

• A note on natural numbers objects in monoidal categories
• Cartesian categories with natural numbers object
• Monoidal categories with natural numbers object
• scientific article; zbMATH DE number 221078 (Why is no real title available?)
• On the equational definition of the least prefixed point.

This page was built for publication: An equational variant of Lawvere's natural numbers object

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