𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Objects of categories as complex numbers

✍ Scribed by Marcelo Fiore; Tom Leinster


Book ID
108051386
Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
234 KB
Volume
190
Category
Article
ISSN
0001-8708

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Monoidal categories with natural numbers
✍ 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
✍ 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.

Navajo Categories of Objects at Rest
✍ GARY J. WITHERSPOON πŸ“‚ Article πŸ“… 1971 πŸ› American Anthropological Association 🌐 English βš– 786 KB