This results in the notion of anafunctor, which is essentially ???a functor which determines its values on objects only up to isomorphism.??? In particular, an anafunctor is an equivalence of categories (in the sense of having an inverse anafunctor) precisely if it is essentially surjective and full and faithful.