A note on natural numbers objects in monoidal categories

DOI10.1007/BF00370831zbMATH Open0713.18005OpenAlexW2002784177MaRDI QIDQ749645FDOQ749645

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

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

zbMATH Keywords

internal language for a monoidal categoryleft natural number object

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)