Descent and effective descent morphisms in - Cpo

DOI10.1016/J.TOPOL.2011.03.013MaRDI QIDQ645200zbMATH OpenOpenAlexFDO

Authors Francesca Cagliari, Sandra Mantovani

Publication date 8 November 2011

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2011.03.013

(effective) descent map \(\omega \)-\({\mathcal C}po\)descent data

Continuous lattices and posets, applications (06B35) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20)

Review text

The authors study descent theory in a context lying in-between order and topology, namely in the category \(\omega\)-\({\mathcal C}po\) of \(\omega\)-chain complete posets and maps preserving suprema of \(\omega\)-chains. First, they describe the effective descent morphisms in \(\omega\)-\({\mathcal C}po\) by proving that surjective regular epimorphisms in \(\omega\)-\({\mathcal C}po\) are exactly topological quotients. Then, using this fact, they show that effective descent morphisms in \(\omega\)-\({\mathcal C}po\) are given by all those effective descent morphisms in the category \({\mathcal C}po\) of posets with the property of lifting \(\omega\)-chains and their upper bounds.

Recommendations

Cited in

(5)

This page was built for publication: Descent and effective descent morphisms in \(\omega\)-\({\mathcal C}po\)

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