𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Monoidal categories with natural numbers object

✍ Scribed by Robert Paré; Leopoldo Román

Publisher
Springer Netherlands
Year
1989
Tongue
English
Weight
712 KB
Volume
48
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

✦ Synopsis

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 developed. A number of examples illustrate the usefulness of the concept.

📜 SIMILAR VOLUMES

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.

Monoidal Globular Categories As a Natura
Monoidal Globular Categories As a Natural Environment for the Theory of Weakn-Categories
✍ M.A. Batanin 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 847 KB

We present a definition of weak |-categories based on a higher-order generalization of apparatus of operads. 1998 Academic Press ## Contents. 1. From non-symmetric to higher order operads. ## 2. Monoidal globular categories. 3. Some examples. Coherence for monoidal globular categories. Copro