Pure Morphisms are Effective for Modules
Tóm tắt
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.
Tài liệu tham khảo
Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories, London Math. Soc. Lecture Note Series, vol. 189. Cambridge University Press (1994)
Barr, M.: On Categories with Effective Unions. Lecture Notes Math., vol. 1348, pp. 19–35. Springer, Berlin (1988)
Borceux, F.: Handbook of Categorical Algebra, vol. 2. Cambridge University Press, Cambridge (1994)
Chase, E., Sweedler, M.: Hopf Algebras and Galois Theory. Lecture Notes Math. vol. 97. Springer, Berlin (1969)
Janelidze, G., Tholen, W.: Facets of Descent, I. Appl. Categ. Struct. 2, 245–281 (1994)
Janelidze, G., Tholen, W.: Facets of descent, II. Appl. Categ. Struct. 5, 229–248 (1997)
Janelidze, G., Tholen, W.: Facets of descent, III: monadic descent for rings and algebras. Appl. Categ. Struct. 12, 461–477 (2004)
Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer, New York (1998)
Mac Lane, S., Paré, R.: Coherence in bicategories and indexed categories. J. Pure Appl. Algebra 37, 59–80 (1985)
Mesablishvili, B.: Pure morphisms of commutative rings are effective descent morphisms for modules − a new proof. Theory Appl. Categ. 7, 38–42 (2000)
Mesablishvili, B.: Monads of effective descent type and comonadicity. Theory Appl. Categ. 16, 1–45 (2006)
Moerdijk, I.: Descent theory for toposes. Bull. Soc. Math. Belg. 41, 373–391 (1989)
Paré, R., Schumacher, D.: Abstract Families and the Adjoint Functor Theorem. Lecture Notes Math, vol. 661, pp. 1–125. Springer, Berlin (1978)