We discuss the setting of extended metric-topological measure spaces as a general framework for metric Sobolev spaces, presenting an overview of results concerning the construction and the properties of the Cheeger energy.
(Partly in collaboration with Luigi Ambrosio and Matthias Erbar)