Monoidal categories with natural numbers object
Studia Logica 48 (3):361 - 376 (1989)
| Abstract | 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. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesKosta Došen & Zoran Petrić (1999). Cartesian Isomorphisms Are Symmetric Monoidal: A Justification of Linear Logic. Journal of Symbolic Logic 64 (1):227-242.
Friederike Moltmann (2013). Reference to Numbers in Natural Language. Philosophical Studies 162 (3):499-536.
Friederike Moltmann (2013). Reference to Numbers in Natural Language. Philosophical Studies 162 (3):499-536.
Zvonimir Šikić (1996). What Are Numbers? International Studies in the Philosophy of Science 10 (2):159-171.
Zvonimir Šikić (1996). What Are Numbers? International Studies in the Philosophy of Science 10 (2):159 – 171.
Eric Steinhart (2002). Why Numbers Are Sets. Synthese 133 (3):343 - 361.
Colin McLarty (1991). Axiomatizing a Category of Categories. Journal of Symbolic Logic 56 (4):1243-1260.
Zoran Petrić (2002). Coherence in Substructural Categories. Studia Logica 70 (2):271 - 296.
C. Barry Jay (1989). A Note on Natural Numbers Objects in Monoidal Categories. Studia Logica 48 (3):389 - 393.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads18 ( #67,622 of 549,196 )Recent downloads (6 months)2 ( #37,418 of 549,196 )How can I increase my downloads? |
My notes
Discussion
