Category languages