Measures: continuity, measurability, duality, extension

Abstract

Abstract We discuss some basic ideas and survey some fundamental constructions related to measure (a real-valued map the domain of which is a set of measurable objects carrying a suitable structure and the map partially preserves the structure): continuity, measurability, duality, extension. We show that in the category ID of difference posets of fuzzy sets and sequentially continuous difference-homomorphisms these constructions are intrinsic. Further, basic notions of the probability theory have natural generalizations within ID.