Foundations of Category Theory: What Remains to Be Done

Abstract

• Session on CF&FCT proposed by E. Landry; participants: G. Hellman, E. Landry, J.-P. Marquis and C. McLarty..

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Category theory and the foundations of mathematics: Philosophical excavations.Jean-Pierre Marquis - 1995 - Synthese 103 (3):421 - 447.
Enriched stratified systems for the foundations of category theory.Solomon Feferman - unknown
On three arguments against categorical structuralism.Makmiller Pedroso - 2009 - Synthese 170 (1):21 - 31.
Categories in context: Historical, foundational, and philosophical.Elaine Landry & Jean-Pierre Marquis - 2005 - Philosophia Mathematica 13 (1):1-43.
Category theory: The language of mathematics.Elaine Landry - 1999 - Philosophy of Science 66 (3):27.
Axiomatizing a category of categories.Colin McLarty - 1991 - Journal of Symbolic Logic 56 (4):1243-1260.
Reconstructing Hilbert to construct category theoretic structuralism.Elaine Landry - unknown
Learning from questions on categorical foundations.Colin McLarty - 2005 - Philosophia Mathematica 13 (1):44-60.
How to be a structuralist all the way down.Elaine Landry - 2011 - Synthese 179 (3):435 - 454.
The uses and abuses of the history of topos theory.Colin Mclarty - 1990 - British Journal for the Philosophy of Science 41 (3):351-375.
A systems theoretical formal logic for category theory.Carlos Pedro dos Santos Gonçalves & Maria Odete Madeira - unknown
Sets, classes, and categories.F. A. Muller - 2001 - British Journal for the Philosophy of Science 52 (3):539-573.
Review of Giandomenico Sica (ed.) What is category theory? Polimetrica, 2006. [REVIEW]John Symons - unknown
Category theory in real time.Colin Mclarty - 1994 - Philosophia Mathematica 2 (1):36-44.

Analytics

Added to PP
2011-05-18

Downloads
112 (#155,209)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Foundations as truths which organize mathematics.Colin Mclarty - 2013 - Review of Symbolic Logic 6 (1):76-86.

Add more citations

References found in this work

No references found.

Add more references