Weighted limits in the category Dcpo-S

Abstract

In this paper, we consider the category Dcpo-S of [Formula: see text]-dcpos and [Formula: see text]-dcpo maps between them. This category is enriched over the symmetric monoidal closed category Dcpo. So, we are going to find weighted limits in this category. In fact, we show that the category of [Formula: see text]-dcpos has weighted limits. Finally, we give a concrete construction of some kinds of weighted limits in this category.