Codimension and projective dimension up to symmetry. Issue 2 (5th December 2019)