The Stacks project

Fix typo in more-algebra

Thanks to Shizhang
https://stacks.math.columbia.edu/tag/0912#comment-8311

LaTeX

Introduced a new macro

\def\Coker{\text{Coker}}

and replaced all occurrences of \text{Coker} by \Coker

LaTeX

Introduced a macro

\def\Ker{\text{Ker}}

and replace all occurrences of \text{Ker} with \Ker

Fix typo

Thanks to Fred Rohrer
http://stacks.math.columbia.edu/tag/0912#comment-233

Taking Rlim sometimes gives nice complexes

Three results. The final one tells us we can obtain perfect complexes
over I-adically complete rings as limits of perfect complexes over the
quotients A/I^n.

This kind of thing is used in crystalline cohomology.

Question: is there a nice way to use the results on derived completion
in the setting of crystalline cohomology?

Tags: Added new tags

Derived completion in general

Haven't completely worked out the details...

Write a better version of the lemma on inverse limits of sess.

Long overdue!

Pleasing result on flatness

The completion of a constant sheaf of Noetherian rings is flat. Uses a
fun new result about inverse limits of flat systems of modules with
surjective transition maps.