added a lemma to precategories
some advances in cones