An equational variant of Lawvere's natural numbers object

DOI10.1016/S0022-4049(99)00178-4zbMATH Open0963.18004MaRDI QIDQ1588078FDOQ1588078

Authors: J. Lambek 

Publication date: 17 June 2001

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Adjointness in Foundations
• Least fixpoints of endofunctors of cartesian closed categories
• Pre-recursive categories

Cited In (5)

• A note on natural numbers objects in monoidal categories
• Cartesian categories with natural numbers object
• Monoidal categories with natural numbers object
• Title not available (Why is that?)
• 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)