We give a characterization of exponentiable monomorphisms in the categories omega-Cpo of omega-complete posets, Dcpo of directed complete posets and ContD of continuous directed complete posets as those monotone maps f that are convex and that lift an element (and then a queue) of any directed set (omega-chain in the case of omega-Cpo) whose supremum is in the image of f. Using this characterization, we obtain that a monomorphism in Dcpo (omega-Cpo, ContD) exponentiable in Top w.r.t. the Scott topology is exponentiable also in Dcpo (omega-Cpo, ContD). We prove that the converse is true in the category ContD, but neither in Dcpo, nor inomega-Cpo.
Exponentiable monomorphisms in categories of domains / F. Cagliari; S.Mantovani. - In: JOURNAL OF PURE AND APPLIED ALGEBRA. - ISSN 0022-4049. - STAMPA. - 211, Issue 2:(2007), pp. 404-413. [10.1016/j.jpaa.2007.02.004]
Exponentiable monomorphisms in categories of domains
CAGLIARI, FRANCESCA;
2007
Abstract
We give a characterization of exponentiable monomorphisms in the categories omega-Cpo of omega-complete posets, Dcpo of directed complete posets and ContD of continuous directed complete posets as those monotone maps f that are convex and that lift an element (and then a queue) of any directed set (omega-chain in the case of omega-Cpo) whose supremum is in the image of f. Using this characterization, we obtain that a monomorphism in Dcpo (omega-Cpo, ContD) exponentiable in Top w.r.t. the Scott topology is exponentiable also in Dcpo (omega-Cpo, ContD). We prove that the converse is true in the category ContD, but neither in Dcpo, nor inomega-Cpo.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.