A note on natural numbers objects in monoidal categories
Studia Logica 48 (3):389 - 393 (1989)
| Abstract | The internal language of a monoidal category yields simple proofs of results about a natural numbers object therein. | |||||||||
| 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,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesKosta Došen & Zoran Petrć (2006). Associativity as Commutativity. Journal of Symbolic Logic 71 (1):217 - 226.
Charles Sayward (2002). A Conversation About Numbers. Philosophia 29 (1-4):191-209.
Colin McLarty (1991). Axiomatizing a Category of Categories. Journal of Symbolic Logic 56 (4):1243-1260.
Eric Steinhart (2002). Why Numbers Are Sets. Synthese 133 (3):343 - 361.
Friederike Moltmann (forthcoming). The Number of Planets, a Number-Referring Term? In Philip A. Ebert & Marcus Rossberg (eds.), Abstractionism. Oxford University Press.
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.
Kosta Došen & Zoran Petrić (1999). Cartesian Isomorphisms Are Symmetric Monoidal: A Justification of Linear Logic. Journal of Symbolic Logic 64 (1):227-242.
Zoran Petrić (2002). Coherence in Substructural Categories. Studia Logica 70 (2):271 - 296.
Robert Paré & Leopoldo Román (1989). Monoidal Categories with Natural Numbers Object. Studia Logica 48 (3):361 - 376.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads8 ( #124,608 of 556,898 )Recent downloads (6 months)1 ( #64,931 of 556,898 )How can I increase my downloads? |
My notes
Discussion
