add remark about weak equivalence of categories
acknowledge folks in IRC
some edits in prelim section
move discussion of "mere" to the end of the truncation section