A Topos Induced by Qualitative Mapping
Jiali Feng · 2010
It is shown that the Reasoning Lattice-Monoid Category L-M(Au, Λ, →) of the attribute set Auof object u can be constructed by the conjunction Λ between two attributes, and a Qualitative Mapping Topos TQM(Au, Λ, →) of the category L-M(Au, Λ, →) can be induced by a Qualitative Mapping τ(x, [α, β]) with qualitative criterion transformation T.