A study on the Cartesian closed category PosM
Main Article Content
Abstract
PosM is a category whose objects are ample spaces and morphisms are possibility mappings. We study some properties of the Category PosM . So we show that Category PosM is a cartesian closed category, and it forms a topos with some condition.