This old paper, published in *Erkenntnis*, deals with a connection between a relatively recent (1940s and 1950s) field of mathematics, category theory, and a hitherto vague notion of philosophical logic usually associated with Plato, the self-predicative universal or concrete universal. All the categories in the paper should be thought of as concrete set-based categories.

Click here to download the paper.