All Questions

Let $R \rightarrow R'$ be a faithfully flat ring map, let $M$ be an $R$-module, and let $M_n$ be the base change of $M$ to the tensor product of $n + 1$ copies of $R'$ over $R$. One way to formulate ...

Let $A = (\dotsc \twoheadrightarrow A_2 \twoheadrightarrow A_1 \twoheadrightarrow A_0)$ be a (commutative) pro-ring with surjective transition maps. Consider the category $\mathcal{M} := \varprojlim_i ...