Korean J. Math. Vol. 21 No. 2 (2013) pp.189-195
DOI: https://doi.org/10.11568/kjm.2013.21.2.189

A study on the Cartesian closed category PosM

Main Article Content

Ig Sung Kim


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.

Article Details