Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

The title of my question is Proposition 3.35 in Freyd's Abelian categories. The proof says

If $G$ is a generator and $A$ is any object, then a subobject $A' \longrightarrow A$ is distinguished by the subset $(G,A') \subseteq (G, A)$.

What does "distinguished by" mean and why does this prove the proposition?

share|improve this question
add comment

1 Answer 1

up vote 2 down vote accepted

By "generator" Freyd surely means "strong generator". Anyway, let $A' \to A$ be a monomorphism, and consider the map $\textrm{Hom}(G, A') \to \textrm{Hom}(G, A)$. This is certainly injective, by the definition of monomorphism, so we may identify $\textrm{Hom}(G, A')$ with a subset of $\textrm{Hom}(G, A)$.

Suppose $A'' \to A'$ is another monomorphism. Then we get a chain of subsets $$\textrm{Hom}(G, A'') \subseteq \textrm{Hom}(G, A') \subseteq \textrm{Hom}(G, A)$$ and the definition of strong generator implies that $\textrm{Hom}(G, A'') = \textrm{Hom}(G, A')$ if and only if $A'' \to A$ and $A' \to A$ are isomorphic as subobjects of $A$. But what if $A' \to A$ and $A'' \to A$ are not comparable? Well, then take their pullback (which exists in any abelian category) and then use that as a bridge to compare $A' \to A$ and $A'' \to A$. The conclusion is, $\textrm{Hom}(G, A') = \textrm{Hom}(G, A'')$ as subsets of $\textrm{Hom}(G, A)$ if and only if $A' \to A$ and $A'' \to A$ are isomorphic as subobjects of $A$.

In particular, since $\textrm{Hom}(G, A)$ only has a set of subsets, $A$ only has a set of (isomorphism classes of) subobjects.

share|improve this answer
    
Is it true that a Grothendieck category always has a strong generator? I'm just asking because I am sure I read somewhere that a Grothendieck category is always well-powered –  Paul Slevin Jan 14 '13 at 17:17
    
Middle of this page: books.google.co.uk/… –  Paul Slevin Jan 14 '13 at 17:32
1  
One definition of Grothendieck category asks that there be a generator. Since Grothendieck categories are locally small and cocomplete, by the remarks here, any generator is automatically a strong generator. –  Zhen Lin Jan 14 '13 at 18:00
add comment

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.