We give a characterization of exponentiable monomorphisms in the categories ω-Cpo of ω-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 (ω-chain in the case of ω-Cpo) whose supremum is in the image of f (Theorem 1.9). Using this characterization, we obtain that a monomorphism f : X → B in Dcpo (ω-Cpo, ContD) exponentiable in Top w.r.t. the Scott topology is exponentiable also in Dcpo (ω-Cpo, ContD). We prove that the converse is true in the category ContD, but neither in Dcpo, nor in ω-Cpo.
|Titolo:||Exponentiable monomorphisms in categories of domains|
|Autori interni:||MANTOVANI, SANDRA (Ultimo)|
|Settore Scientifico Disciplinare:||Settore MAT/03 - Geometria|
|Data di pubblicazione:||nov-2007|
|Digital Object Identifier (DOI):||10.1016/j.jpaa.2007.02.004|
|Appare nelle tipologie:||01 - Articolo su periodico|