What are the full isomorphism-closed reflective subcategories of $\textbf{Set}$?
In the book "The Joy of Cats" it is mentioned (p. 58) that there are precisely three such subcategories. I can see two of them are:
- the whole category $\textbf{Set}$
- the subcategory consisting of all singletons
What would be the third one?