Redirecting to Equivalence of categories