David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Four requirements are suggested for an axiomatic system S to provide the foundations of category theory: (R1) S should allow us to construct the category of all structures of a given kind (without restriction), such as the category of all groups and the category of all categories; (R2) It should also allow us to construct the category of all functors between any two given categories including the ones constructed under (R1); (R3) In addition, S should allow us to establish the existence of the usual basic mathematical structures and carry out the usual set-theoretical operations; and (R4) S should be shown to be consistent relative to currently accepted systems of set theory. This paper explains how all but parts of (R3) can be met using a system S extending NFU enriched by a stratified pairing operation; to meet more of (R3) a stronger system S∗ is introduced, but there are still some real obstacles to meeting this requirement in full. For (R4) it is sketched how both S and S∗ are shown to be consistent.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Geoffrey Hellman (2006). What is Categorical Structuralism? In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. 151--161.
David Geoffrey Holdsworth (1978). A Role for Categories in the Foundations of Quantum Theory. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978:257 - 267.
F. A. Muller (2001). Sets, Classes, and Categories. British Journal for the Philosophy of Science 52 (3):539-573.
Elaine Landry (1999). Category Theory: The Language of Mathematics. Philosophy of Science 66 (3):27.
Jean-Pierre Marquis (1995). Category Theory and the Foundations of Mathematics: Philosophical Excavations. Synthese 103 (3):421 - 447.
Colin McLarty (1991). Axiomatizing a Category of Categories. Journal of Symbolic Logic 56 (4):1243-1260.
Carlos Pedro dos Santos Gonçalves & Maria Odete Madeira, A Systems Theoretical Formal Logic for Category Theory.
Makmiller Pedroso (2009). On Three Arguments Against Categorical Structuralism. Synthese 170 (1):21 - 31.
Added to index2009-08-06
Total downloads45 ( #44,939 of 1,679,353 )
Recent downloads (6 months)1 ( #183,761 of 1,679,353 )
How can I increase my downloads?