Graduate studies at Western
|Abstract||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)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
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 downloads43 ( #30,786 of 739,406 )
Recent downloads (6 months)1 ( #61,269 of 739,406 )
How can I increase my downloads?