A note on natural numbers objects in monoidal categories

DOI10.1007/BF00370831MaRDI QIDQ749645zbMATH OpenOpenAlexFDO

Authors Barry Jay

Publication date 1989

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00370831

zbMATH Keywords

internal language for a monoidal categoryleft natural number object

Mathematics Subject Classification ID

Foundations, relations to logic and deductive systems (18A15)

Review text

By creating an internal language for a monoidal category, this note provides more simple proofs of some theorems (which were established by \textit{R. Paré} and \textit{L. Roman} [ibid. 48, No.3, 361-376 (1989; Zbl 0708.18005)] about a left natural number object in a (non-symmetric) monoidal category.

Recommendations

• Monoidal categories with natural numbers object
• An internal language for autonomous categories
• An equational variant of Lawvere's natural numbers object
• Cartesian categories with natural numbers object
• scientific article; zbMATH DE number 221078

Cites work

• scientific article; zbMATH DE number 4122189 (Why is no real title available?)
• Languages for monoidal categories
• The structure of free closed categories

Cited in

(5)

• An internal language for autonomous categories
• scientific article; zbMATH DE number 4164840 (Why is no real title available?)
• Tail recursion through universal invariants
• The structure of free closed categories
• Monoidal categories with natural numbers object

This page was built for publication: A note on natural numbers objects in monoidal categories

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