Title of article :
Descent and effective descent morphisms in
Author/Authors :
Cagliari، نويسنده , , Francesca and Mantovani، نويسنده , , Sandra، نويسنده ,
Issue Information :
دوماهنامه با شماره پیاپی سال 2011
Abstract :
A characterization of descent and effective descent morphisms in the category ω - Cpo of ω-chain complete posets is given. It turns out that effective descent morphisms in ω - Cpo are exactly those effective descent morphisms in Pos with the property of lifting ω-chains and their upper bounds.
Keywords :
Descent data , (Effective) descent map , ?-cpo
Journal title :
Topology and its Applications
Journal title :
Topology and its Applications
