✦ LIBER ✦

A note on natural numbers objects in monoidal categories

✍ Scribed by C. Barry Jay

Publisher: Springer Netherlands
Year: 1989
Tongue: English
Weight: 204 KB
Volume: 48
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf00370831

No coin nor oath required. For personal study only.

✦ Synopsis

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

📜 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 Words in Braid Monoids

✍ Jean Michel 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 152 KB

A note on natural convection at high pra

A note on natural convection at high prandtl numbers

✍ Sreedhan Roy 📂 Article 📅 1969 🏛 Elsevier Science 🌐 English ⚖ 209 KB

A note on syntactic categories and coord

A note on syntactic categories and coordination in GPSG

✍ Paul Schachter 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 668 KB

On natural number objects, finiteness an

On natural number objects, finiteness and Kripke-Platek models in toposes

✍ Bruno Loiseau; Mawanda Mbila-Mambu 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 672 KB

A note on russell's paradox in locally c

A note on russell's paradox in locally cartesian closed categories

✍ Andrew M. Pitts; Paul Taylor 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 648 KB