# On the self-predicative universals of category theory

**Abstract**

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).

**Categories**

**PhilPapers/Archive ID**

ELLOTS

**Revision history**

Archival date: 2015-06-18

View upload history

View upload history

References found in this work BETA

No references found.

Citations of this work BETA

No citations found.

**Added to PP index**

2015-06-18

**Total views**

536 ( #5,032 of 41,505 )

**Recent downloads (6 months)**

395 ( #816 of 41,505 )

How can I increase my downloads?

**Downloads since first upload**

*This graph includes both downloads from PhilArchive and clicks to external links.*