Text this: Formal approaches in categorization /