Exponentiable monomorphisms in categories of domains |
| |
Authors: | F Cagliari S Mantovani |
| |
Institution: | a Dipartimento di Matematica, Università di Bologna, Piazza di Porta S. Donato, 5, I-40127 Bologna, Italy b Dipartimento di Matematica, Università di Milano, Via C. Saldini, 50, I-20133 Milano, Italy |
| |
Abstract: | We give a characterization of exponentiable monomorphisms in the categories of ω-complete posets, of directed complete posets and 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 ) whose supremum is in the image of f (Theorem 1.9). Using this characterization, we obtain that a monomorphism f:X→B in (, ) exponentiable in w.r.t. the Scott topology is exponentiable also in (, ). We prove that the converse is true in the category , but neither in , nor in . |
| |
Keywords: | 06B30 06B35 18B30 18D15 54F05 |
本文献已被 ScienceDirect 等数据库收录! |
|