Upto Ex 7 done. Also following a blog on category theory