An equational variant of Lawvere's natural numbers object

DOI10.1016/S0022-4049(99)00178-4zbMath0963.18004MaRDI QIDQ1588078

No author found.

Publication date: 17 June 2001

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

zbMATH Keywords

Mal'cev operationweak natural numbers objectinternal logic of cartesian closed categorynatural 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)

Related Items (1)

On the equational definition of the least prefixed point.

Cites Work

• Unnamed Item
• Unnamed Item
• Pre-recursive categories
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Adjointness in Foundations
• Least fixpoints of endofunctors of cartesian closed categories
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS

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