A categorical approach to data fusion

Using suitable topoi of presheaves, a categorical definition of measure is given. When the general definition is specialized to particular categories made of sets of possibility, probability or imprecise probability measures, the internal language of the corresponding topos gives a valid and complete proof system for the corresponding semantics. An application of this method to data fusion in mobile robotics is presented.