论文信息 - Pure Morphisms are Effective for Modules

Pure Morphisms are Effective for Modules

Yet another proof of the result asserting that a morphism of commutative rings is an effective descent morphism for modules if and only if it is pure is given. Moreover, it is shown that this result cannot be derived from Moerdijk’s descent criterion.

Bachuki Mesablishvili | B. Mesablishvili

[1] Sally Popkorn,et al. A Handbook of Categorical Algebra , 2009 .

[2] S. Lane. Categories for the Working Mathematician , 1971 .

[3] J. Adámek,et al. Locally Presentable and Accessible Categories: Bibliography , 1994 .

[4] I. Moerdijk. Descent theory for toposes , 1989 .

[5] Walter Tholen,et al. Facets of Descent, II , 1994, Appl. Categorical Struct..

[6] Robert Paré,et al. Abstract families and the adjoint functor theorems , 1978 .

[7] M. Sweedler,et al. Hopf Algebras and Galois Theory , 1969 .

[8] Pure morphisms of commutative rings are effective descent morphisms for modules. A new proof. , 2000 .

[9] Walter Tholen,et al. Facets of Descent III: Monadic Descent for Rings and Algebras , 2004, Appl. Categorical Struct..

[10] Saunders MacLane,et al. Coherence for bicategories and indexed categories , 1985 .

[11] Bachuki Mesablishvili,et al. MONADS OF EFFECTIVE DESCENT TYPE AND COMONADICITY , 2006 .

[12] M. Barr. On categories with effective unions , 1988 .

[13] Walter Tholen,et al. Facets of descent, I , 1994, Appl. Categorical Struct..