Codensity lifting is a method to construct liftings of endofunctors/monads along fibrations. They subsume several constructions in mathematics, such as the Kantorovich metric and the lower/upper preorders on powersets. In this talk, I will give an overview of codensity lifting and its applications to program semantics and formalization of bisimulations over coalgebras.