Demystifying Codensity Monads via Duality
Il paper propone un approccio categorico unificante basato sulla dualità per semplificare drasticamente le dimostrazioni delle presentazioni come monadi di codensità di importanti monadi in logica e semantica, derivando al contempo nuove presentazioni non banali per monadi dei filtri, di Vietoris e di aspettazione.