We say that is a detecting family in a Category if collectively reflect isomorphisms i.e. if is such that every with factors uniquely through (a unique such that ) then is an Isomorphism. If we say is a detector.