Redirecting to Isomorphism of categories