started 4.7, work in precategories and _equivalences