A note on natural numbers objects in monoidal categories

DOI10.1007/BF00370831zbMath0713.18005OpenAlexW2002784177MaRDI QIDQ749645

C. 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)

Related Items (3)

Tail recursion through universal invariants ⋮ The structure of free closed categories ⋮ An internal language for autonomous categories

Cites Work

• Languages for monoidal categories
• The structure of free closed categories
• Unnamed Item

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