Holmstrom Projection formula

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

nLab page on Projection formula

Created on June 9, 2014 at 21:16:14 by Andreas Holmström