The set-valued mapping based on ample fields
Ample fields play an important role in possibility theory. Based on the ample fields in possibility theory, two new concepts such as possibilistic set and possibility mapping are presented. A theoretical approach to define operations and implication operations of fuzzy sets based on the theory of falling shadows of possibilistic sets is established, and the category PosM of ample spaces and possibility mappings and the category Xi(Omega, A) of possibilistic sets are built up respectively. It is proved that the category Xi(Omega, A) is a topos. (c) 2008 Elsevier Ltd. All rights reserved.
ample field possibility fuzzy set category topos fuzzy variable