Azimuth Forum
Visit Site
@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!
Version 2.1.8p2