-
Codensity and stone spaces
Sipoş, Andrei
-
Correspondences Between Codensity and Coupling-Based Liftings, a Practical Approach
Humeau, Samuel ; Petrisan, Daniela ; Rot, Jurriaan 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Codensity Liftings of Monads
Katsumata, Shin-ya ; Sato, Tetsuya 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Codensity Games for Bisimilarity
Komorida, Yuichi ; Katsumata, Shin-ya ; Hu, Nick ; Klin, Bartek ; Humeau, Samuel ; Eberhart, Clovis ; Hasuo, Ichiro
-
A Formula for Codensity Monads and Density Comonads
Adámek, Jiří ; Sousa, Lurdes