University of Jiroft | Halimeh Moghbeli

Research

Title	Weighted limits in the category Dcpo-S
Type	Article
Keywords	Directed complete partially ordered set; weighted limits; S-dcpos
Researchers	Farideh Farsad, Halimeh Moghbeli

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