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)

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)

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

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)