There is some sort of symmetry in the definition of flat module and pure short exact sequence which can be made precise as follows. Let $R$ be a ring (with unit), $\mathcal{R}$ be the class of all right $R$-modules, and $\mathcal{S}$ be the class of all short exact sequences of left $R$-modules. ...