This paper analyzes the implications of social identity and self-categorization in the context of optimal redistributive income taxation. A two-type model is supplemented by an assumption that individuals select themselves into social categories, in which norms are formed and education effort...