David Roberts
weak equivalence of internal categories

If JJ is a pretopology on a category with pullbacks, a JJ-equivalencef:X→Yf:X \to Y between categories internal to SS is a functor that is fully faithful? and essentially JJ-surjective. This last means that the map