Add definition of categorical quotients