Категорні властивості просторів ймовірнісних мір та гіперпросторів включення