Categories As Proper Setting