Definition 12.31.2. Let $\mathcal{C}$ be an abelian category. We say the inverse system $(A_ i)$ satisfies the *Mittag-Leffler condition*, or for short is *ML*, if for every $i$ there exists a $c = c(i) \geq i$ such that

\[ \mathop{\mathrm{Im}}(A_ k \to A_ i) = \mathop{\mathrm{Im}}(A_ c \to A_ i) \]

for all $k \geq c$.

## Comments (2)

Comment #7849 by DatPham on

Comment #8071 by Stacks Project on