𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Cartesian categories with natural numbers object

✍ Scribed by Leopoldo Román

Book ID
107816501
Publisher
Elsevier Science
Year
1989
Tongue
English
Weight
600 KB
Volume
58
Category
Article
ISSN
0022-4049

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Monoidal categories with natural numbers
Monoidal categories with natural numbers object
✍ Robert Paré; Leopoldo Román 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 712 KB

The notion of a natural numbers object in a monoidal category is defined and it is shown that the theory of primitive recursive functions can be developed. This is done by considering the category of cocommutative comonoids which is cartesian, and where the theory of natural numbers objects is well

A note on natural numbers objects in mon
A note on natural numbers objects in monoidal categories
✍ C. Barry Jay 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 204 KB

The internal language of a monoidal category yields simple proofs of results about a natural numbers object therein.