Descent in * -autonomous categories

• Autores: Bachuki Mesablishvili
• Localización: Journal of pure and applied algebra, ISSN 0022-4049, Vol. 213, Nº 1, 2009, págs. 60-70
• Idioma: inglés
• DOI: 10.1016/j.jpaa.2008.05.009
• Texto completo no disponible (Saber más ...)
• Resumen

  • We extend the result of Joyal and Tierney asserting that a morphism of commutative algebras in the *-autonomous category of sup-lattices is an effective descent morphism for modules if and only if it is pure, to an arbitrary *-autonomous category (in which the tensor unit is projective) by showing that any -functor out of is precomonadic if and only if it is comonadic.