Michael W. Mislove, Frank J. Oles
Abstract
In this paper we show that there is no left adjoint to the inclusion functor from the full subcategory š¯’˛0 of Scott domains (i.e., consistently complete Ļ‰ā€“algebraic cpo's) to š¯’®ā„±š¯’«, the category of š¯’®ā„±š¯’«-objects and Scott-continuous maps. We also sho
OpenAlex reports 4 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
In this paper we show that there is no left adjoint to the inclusion functor from the full subcategory š¯’˛0 of Scott domains (i.e., consistently complete Ļ‰ā€“algebraic cpo's) to š¯’®ā„±š¯’«, the category of š¯’®ā„±š¯’«-objects and Scott-continuous maps. We also sho
Key concepts: Computer science, Mathematics, Theoretical computer science, Epistemology, Philosophy