18 May
2003
18 May
'03
11:22 a.m.
It is well known that epimorphisms in rings do not have to be surjective. Suppose C is a category and R is a ring object in C. I am looking for a name to call maps X --> Y in C with the property that Hom(Y,R) --> Hom(X,R) is epic in rings. It is a kind of weak R-injectivity. Does anyone have a name for this? Michael