Go back to the tag's page.
K = Rlim truncations iff I = lim I_n
Split section on derived limits and colimits