Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose C is a category with small colimits, and G $\in$ ob(C) is a strong generator. (This means that $f: X \to Y$ is an isomorphism iff $f_{*}: Hom(G,X) \to Hom(G,Y)$ is a bijection.)

How does one prove that every object X is a colimit of G (ie, a quotient of coproducts of G)?

I think X $\simeq$ colimG --> X G. I can see there is a natural map e: colimG --> X G $\to$ X, and that the induced map $e_{*}: Hom(G,colim<sub>G --> X</sub> G) \to Hom(G, X)$ is surjective, but I cannot see that it map is injective.

share|improve this question
    
I know the following definition of a generator (from Mac Lane's book): For every distinct $f,g : X \to Y$, there is some $h : G \to X$ such that $fh, gh$ are also distinct. I doubt that this is equivalent to your one. –  Martin Brandenburg Jun 6 '10 at 8:34
    
What you called a "generator" is usually called a strong generator. Although a few people do confusingly call it merely a "generator," and instead say "separator" for the notion mentioned by Martin (which is what is more commonly called a "generator"). –  Mike Shulman Jun 6 '10 at 14:18
    
For what is commonly called a generator (i.e., what Martin mentions in his comment), the result fails: In Top a point is a generator, but colimits of points are just discrete spaces. –  Omar Antolín-Camarena Jun 6 '10 at 15:45
    
I don't understand what the colimit in the last paragraph is indexed over. Is it the set Hom(G,X)? In that case it seems to me you could only mean the coproduct, which is probably not what you want. –  Omar Antolín-Camarena Jun 6 '10 at 15:47
1  
Sorry, Joey -- compact Hausdorff spaces are a cocomplete category. This is well-known. (You are right however that colimits there are not computed as they would be in $Top$.) I don't think however the question has been totally settled by Mike's example, because one can still present a compact Hausdorff space as a colimit of a diagram consisting totally of 1's (essentially because compact Hausdorff spaces are monadic over sets). –  Todd Trimble Jun 6 '10 at 19:44

2 Answers 2

up vote 10 down vote accepted

I think there are actually three possible things that you might be asking, but the answer to all of them is no. Suppose that G is a strong generator in a cocomplete category C. Then you can ask:

  1. Is every object X of C the colimit of G over the canonical diagram of shape $(G\downarrow X)$? (If so, then G is called dense in C.)

  2. Is every object some colimit of a diagram all of whose vertices are G? (If so, then G is called colimit-dense in C.)

  3. Is C the smallest subcategory of itself containing G and closed under colimits? (If so, then G is a colimit-generator of C.)

The category of compact Hausdorff spaces is a counterexample to the first two. It is monadic over Set (the monad is the ultrafilter monad, aka Stone-Cech compactification of the discrete topology), and hence cocomplete, and the one-point space is a strong generator. But any colimit of a diagram consisting entirely of 1-point spaces must be in the image of the free functor from Set (the one-point space being its own Stone-Cech compactification), and hence (since that functor is a left adjoint and preserves colimits) must be the free object on some set. However, not every compact Hausdorff space is the Stone-Cech compactification of a discrete set.

As Todd pointed out in the comments, though, CptHaus is the colimit-closure of the one-point space, since every object is a coequalizer of maps between free ones (because the category is monadic over Set); thus it isn't a counterexample to the third question. Counterexamples to the third question are actually much harder to come by, and in fact if you assume additionally that C has finite limits and is "extremally well-copowered", then it is true that any strong generator is a colimit-generator. I think there's a proof of this somewhere in Kelly's book "Basic concepts of enriched category theory," and a brief version can be found here. However, without these assumptions, one can cook up ugly and contrived counterexamples, such as example 4.3 in the paper "Total categories and solid functors" by Borger and Tholen.

share|improve this answer
    
+1 Nice answer, Mike. Now I don't have to struggle with this any more! :-) –  Todd Trimble Jun 7 '10 at 0:12
    
Yea, very thorough. Thanks Mike! –  Joey Hirsh Jun 7 '10 at 14:31

See cor. 4.4 in "Strong regular and dense generators" Tholen , Borger:

http://www.numdam.org/numdam-bin/fitem?id=CTGDC_1991__32_3_257_0

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.