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.

We should have $\displaystyle\mathbb{Q} = \lim_{\rightarrow} \frac 1n \mathbb{Z}$ but a few things are confusing me. Since the index category is a set, we should get the coproduct: $\bigsqcup \frac 1n \mathbb{Z}$. But in this coproduct we have $1/2 \neq 2/4$ which clearly is wrong. This make me suspect that the index category is not an index set. What we probably should get is a union (and not a coproduct) in the category of rings (in which $1/2 = 2/4$).

Question: Help me understand what the index category is (eg, what are its maps) and am I correct when believing we should get an ordinary union?

share|improve this question
Just a clarification: what is $\frac{1}{n}\mathbb{Z}$ ? –  magma Mar 26 '13 at 0:30

1 Answer 1

up vote 7 down vote accepted

Index category is the category of positive integers with a morphism from n to m iff n|m. The limit is not coproduct but union of $\frac{1}{n}\mathbb{Z}$ with natural embedings (which is the same as union of $\frac{1}{n}\mathbb{Z}$ inside $\mathbb{Q}$ — hence the equality).

share|improve this answer

Your Answer


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