Is the category of rings co-well-powered?

Yes, rings as any algebraic theory make a locally presentable category, and this is well- copowred (Adámek and Rosicky, Locally Presentable and Accessible Categories Cambridge University Press, Cambridge, (1994))

About topological case, in the MAria Clementino article "Categorical and topological aspects of semi-abelian theories" (http://www.math.yorku.ca/~tholen/HB07BournClementino.pdf) ther is a call from a Wyler article (see 10.1 in Clementino article), from this follow that: the forgetful funtor from topological rings category to rings category preserve colimits (and these categories have colimits), the it preserve epimorphism, then from the well copoweredness of rings category follow the well cowellpowerness of the topological rings category

I seems (and hope) that this work well...

(Please, excuse my porr English).

About ALgebraic theory modeled on $T_2$ spaces (Hausdorff topological spaces), for example Hausdorff topological rings, or vector (on real or complex numbers) hausdorff topological spaces (with infinite unary operation, one for any number) we have that epimorhpisms in $T_2$ are maps by dense images. Now the $T_2$ topological spaces (and continuous maps) is a cowellpowred category, this follow from the fact that the cardinaliy of a $T_2$ space $Y$ by a dense subset X is bounded by $2^{2^X}$ (take two different point $a, b\in Y$ consider the class of neighborhoods of these points, and their intersection by $X$).

THen if the epimorphism in vectorial hausdorf spaces are continuous maps with dense image (of course a such maps is a Ephimorphism) then VEctor topological housdorff spaces are cowellpowred.

but I seems that the answere to this question is yes: if a morphism $f: X\to Y$ on linear $T_2$ spaces has a nodense image, let $N\subset Y$ the closure of image of $f$, then we have a non null ($T_2$) quotient $Y/N$ and the two morphism $0, \pi: Y\to Y/N$ that have the some composition (it is $0$) with f.

I see that for hausdorff topological groups the answere to the question "has a epimorphism dense image?" is not (Epimorphisms have dense range in TopHausGrp?)


Sergio Buschi already gave a general answer, and here is a pedestrian way of thinking about it. First, apparently if $e : R \to S$ is epi, then the cardinality $|S|$ of $S$ cannot exceed the cardinality $|R|$ of $R$. This is not obvious, as $e$ need not be surjective. I am no expert on rings, so I simply Googled the fact and found this. For each cardinality below $|R|$, there are can be only set-many non-isomorphic rings. So we have a set of sets of candidates, which is again a set. That's co-well-poweredness.


A category is locally small if for all objects $A$ and $B$, $\mathrm{Hom}(A,B)$ is a set. In the category of rings, $\mathrm{Hom}(A,B)$ is a subset of the set of all functions between the underlying sets of $A$ and $B$, so it's a set.

I don't understand what you are trying to do with your categories of monomorphisms and epimorphisms (perhaps you meant something else than "locally small"?)