Names of these concepts

Max says he has called these globs 'ideals', and I wouldn't question that. Except that he seems to say that Bill Lawvere has joined him in so calling them. (Boy! Call me a taxi!) Bill is not available at the moment. Steve Schanuel and I doubt that Bill has called them ideals singularly or plurally. We suggest that Max and Bill have called a class of morphisms closed under pre- or postmultiplication by ANYBODY ideals. That is not Rowan's question. John Isbell ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++