An argument against the collapse of categories by an author who has, yes, himself perpetrated a few codeworks.
