Search

• < Previous
• 1
• Next >

---

Codensity Lifting of Monads and its Dual

Shin-ya Katsumata ; Tetsuya Sato ; Tarmo Uustalu.

We introduce a method to lift monads on the base category of a fibration to its total category. This method, which we call codensity lifting, is applicable to various fibrations which were not supported by its precursor, categorical TT-lifting. After introducing the codensity lifting, we illustrate&nbsp;[&hellip;]

---

Relational $\star$-Liftings for Differential Privacy

Gilles Barthe ; Thomas Espitau ; Justin Hsu ; Tetsuya Sato ; Pierre-Yves Strub.

Recent developments in formal verification have identified approximate liftings (also known as approximate couplings) as a clean, compositional abstraction for proving differential privacy. This construction can be defined in two styles. Earlier definitions require the existence of one or more&nbsp;[&hellip;]

---