clarify ex 9.4, close #590
Merge pull request #592 from mikeshulman/pre2categories

clarify ex 9.4, close #590