added prelude to equivalence of categories
changed all \DM to \DMeff; closes #19