Weighted limits in the category Dcpo-S

Abstract

In this paper, we consider the category Dcpo-S of S-dcpos and S-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 S-dcpos has weighted limits. Finally, we give a concrete construction of some kinds of weighted limits in this category.