Equivalence of derived complete cats along local isomorphism