Skip to main content
1 of 2
hamid
  • 21
  • 3

Drect limit of sequences

Let $\mathcal{C}$ is a grothendiect category and consider all of what follows in $\mathcal{C}$.

Let $$\{\varepsilon_i: 0\to A_i \to B_i \to C_i\to 0\ ,\ \phi_i^j\}$$ be a direct system of short exact sequences.

Is it true to say that $\varepsilon: 0\to \lim A_i \to \lim B_i \to \lim C_i \to 0$ (where $lim$ denotes the direct limit) is the direct limit $\lim \varepsilon_i$.

Actually we know that there exists a morphism $\varepsilon_i\to \varepsilon$ for each $i$.

What does occur when $\varepsilon_i$ is a split short exact sequence for each $i$? In fact why in this fact the direct limit is a pure short exact sequence?

hamid
  • 21
  • 3