Effective codescent morphisms, amalgamations and factorization systems

DOI10.1016/J.JPAA.2006.06.007MaRDI QIDQ863915zbMATH OpenOpenAlexFDO

Publication date 12 February 2007

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jpaa.2006.06.007

amalgamation property effective descent morphism factorization system topological categories

Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Eilenberg-Moore and Kleisli constructions for monads (18C20) Methods of category theory in functional analysis (46M99)

Review text

Let \({\mathcal C}\) be a category with pullbacks and with a factorization system \((\mathcal E,\mathcal M)\) where all morphisms in \(\mathcal M\) are monos. The main result of the paper gives a necessary and sufficient condition on a descent morphism in \({\mathcal C}\) to be effective, involving descent data of a special kind only. This theorem is then used to obtain conditions on a functor \({\mathcal C}\to{\mathcal X}\) between categories with pullbacks in order that the property of every descent morphism being effective lifts from \({\mathcal X}\) to \({\mathcal C}\). In consequence of the first result, every regular monomorphism in the category of topological spaces is an effective codescent morphism, and then the second theorem carries over this property to a number of other categories of a `topological nature'. Beside factorization systems, the notion dual to the amalgamation property also plays a key role in these investigations.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Effective codescent morphisms, amalgamations and factorization systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q863915)