Descent and effective descent morphisms in \(\omega\)-\({\mathcal C}po\) (Q645200)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Descent and effective descent morphisms in \(\omega\)-\({\mathcal C}po\) |
scientific article |
Statements
Descent and effective descent morphisms in \(\omega\)-\({\mathcal C}po\) (English)
0 references
8 November 2011
0 references
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.
0 references
descent data
0 references
(effective) descent map
0 references
\(\omega \)-\({\mathcal C}po\)
0 references