Adding to a category inverse morphisms for some collection of morphisms, constraining them to become isomorphisms