Update lecture-4.md

Fixed colimit in injective proof.
Merge pull request #4 from gclenaghan/master

Update lecture-4.md