It is also proved that the category of algebraic L-domains with scott continuous functions as morphisms is a reflective subcategory of the category of L-cusls and monotone maps.
英
美
- 本文还证明了Scott连续映射为态射的代数L-domain范畴为L-cusl与单调映射作成的范畴的反射子范畴。