On the self-predicative universals of category theory

Download Edit this record How to cite View on PhilPapers
This paper shows how the universals of category theory in mathematics provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. The paper also shows how the always-self-predicative universals of category theory provide the "opposite bookend" to the never-self-predicative universals of iterative set theory and thus that the paradoxes arose from having one theory (e.g., Frege's Paradise) where universals could be either self-predicative or non-self-predicative (instead of being always one or always the other).
PhilPapers/Archive ID
Upload history
Archival date: 2015-06-18
View other versions
Added to PP index

Total views
614 ( #6,298 of 51,339 )

Recent downloads (6 months)
31 ( #18,802 of 51,339 )

How can I increase my downloads?

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