David Benson wrote (on 17-01-02 10:32 -0800): > We are in the presence of a functor F: A --> B which is > surjective on the objects of B, up to isomorphism. > I suppose I could call such functors ``soouti'', > but I am hoping that someone will suggest a better name. In Cats and Allegators we say (1.31, p17) that the functor has a REPRESENTATIVE IMAGE.