I will discuss a theory of function spaces defined in terms of a self-adjoint operator whose heat kernel satisfies Gaussian estimates together with its derivatives. This includes inhomogeneous and homogeneous Sobolev, Besov and Triebel–Lizorkin spaces on Lie groups and Grushin settings.