All Questions

Let $R$ be a (commutative) local ring, which I don't assume to be noetherian. Let $m$ be its maximal ideal, and $k$ its residue field. Let $X$ be a complex of $R$-modules with finitely generated ...

Let $(R, \mathfrak m, k)$ be a commutative Noetherian local ring. Then, is it true that $\mathbf R\text{Hom}_R(k, -)\otimes_R^{\mathbf L} k$ commutes with arbitrary co-products?

I'm trying to build a little dictionary between old Homological algebra for local rings and the slightly more modern approach via derived functors. Let $X = SpecA$ be a spectrum of a local ring $(A,...