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.