Observing that people often use categorization to simplify choice problems and follow some search order to make a choice, we develop and axiomatize a stochastic choice model in which the decision maker first categorizes alternatives in a menu into disjoint categories, then search over categories...