Functional analytic lifting theory Measures and integration in abstract settings mathematics