Abstract
The internal language of a monoidal category yields simple proofs of results about a natural numbers object therein.
Similar content being viewed by others
References
C. Barry Jay, Languages for monoidal categories, J. Pure Appl. Alg., in press.
C. Barry Jay, The structure of free closed categories, preprint.
J. Lambek, Multicategories revisited, in: Proceedings on the Boulder Conference on Category Theory and Computer Science, ed. by J. Gray and A. Scedrov, Contemp. Math., to appear.
R. Paré and L. Roman, Monoidal categories with natural numbers object, Studia Logica, this issue.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Jay, C.B. A note on natural numbers objects in monoidal categories. Stud Logica 48, 389–393 (1989). https://doi.org/10.1007/BF00370831
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370831