Equivalence of categories defined.