Categorical foundations of mathematics or how to provide foundations for abstract mathematics

Review of Symbolic Logic 6 (1):51-75 (2013)
Download Edit this record How to cite View on PhilPapers
Fefermans argument is indeed convincing in a certain context, it can be dissolved entirely by modifying the context appropriately.
(categorize this paper)
Reprint years
PhilPapers/Archive ID
Revision history
Archival date: 2018-02-13
View upload history
References found in this work BETA
Homotopy Theoretic Models of Identity Types.Awodey, Steve & Warren, Michael A.

View all 18 references / Add more references

Citations of this work BETA
What is a Higher Level Set?Tsementzis, Dimitris

Add more citations

Added to PP index

Total views
351 ( #11,217 of 46,264 )

Recent downloads (6 months)
142 ( #3,618 of 46,264 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.