added 2 lemmas about inverse morphisms to precategories
added lemma assoc4 to first compose two middle morphisms of 4
Merge pull request #28 from benediktahrens/master

3 lemmas for precategories