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.
Descent and effective descent morphisms in ω-Cpo / F. Cagliari, S. Mantovani. - In: TOPOLOGY AND ITS APPLICATIONS. - ISSN 0166-8641. - 158:17(2011 Nov 01), pp. 2366-2370.
Descent and effective descent morphisms in ω-Cpo
S. MantovaniUltimo
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.