Update lecture-4.md

Fixed colimit in injective proof.