More about pushforward and pullback of derived complete complexes
D_c(X, R) and D_{ctf}(X, R) for etale topology

Just the basics