Formal Approaches in Categorization