首页 | 本学科首页   官方微博 | 高级检索  
     检索      


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 View the MathML source of ω-complete posets, View the MathML source of directed complete posets and View the MathML source 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 View the MathML source) whose supremum is in the image of f (Theorem 1.9). Using this characterization, we obtain that a monomorphism f:XB in View the MathML source (View the MathML source, View the MathML source) exponentiable in View the MathML source w.r.t. the Scott topology is exponentiable also in View the MathML source (View the MathML source, View the MathML source). We prove that the converse is true in the category View the MathML source, but neither in View the MathML source, nor in View the MathML source.
Keywords:06B30  06B35  18B30  18D15  54F05
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号