The purpose of this paper is to give a new proof of the Joyal-Tierney theorem (unpublished), which asserts that a morphism $f:R\rightarrow S$ of commutative rings is an effective descent morphism for modules if and only if $f$ is pure as a morphism of $R$-modules.
Theory and Applications of Categories, Vol. 7, 2000, No. 3, pp 38-42 http://www.tac.mta.ca/tac/volumes/7/n3/n3.dvi http://www.tac.mta.ca/tac/volumes/7/n3/n3.ps ftp://ftp.tac.mta.ca/pub/tac/html/volumes/7/n3/n3.dvi ftp://ftp.tac.mta.ca/pub/tac/html/volumes/7/n3/n3.psTAC Home