This is a paper, published in Logic and Logical Philosophy, on the concept of universals in philosophical logic–which includes the example of “Sophia Loren as “the” Italian women”. The always-self-predicative universals of category theory form the opposite bookend to the never-self-predicative universals of iterative set theory.