proper categories