A Topos Induced by Qualitative Mapping
It is shown that the Reasoning Lattice-Monoid Category L-M(Au, Ù, →) of the attribute set Au of object u can be constructed by the conjunction Ù between two attributes, and a Qualitaive Mapping Topos TQM(Au, *, →) of the category L-M(Au, *, →) can be induced by a Qualitative Mapping t(x, [a, b]) with qualitative criterion transformation T.