Korean J. Math. Vol. 21 No. 2 (2013) pp.189-195
A study on the Cartesian closed category PosM
Main Article Content
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.