@Keith important to note that **Cat** is the category of all _small_ categories, ie ones with a an underlying _set_ of objects, but as you note, Cantor's theorem tells us that **Set** is not small!