Categories As Proper Set