http://mathoverflow.net/questions/19894/is-there-a-general-projection-formula-for-morphisms-of-ringed-topoi
nLab page on Projection formula