Coba jelasin Monad kondensi dari Monad (teori kategori) dong

Di bawah kondisi ringan, funktor yang tidak menggunakan adjoin kiri juga menghasilkan monad, yang disebut monad kondensi. Misalnya, inklusi

tidak menerima adjoint kiri. Codensity monadnya adalah monad pada set yang mengirimkan set  X  ke set ultrafilter pada  X . Maka, contoh serupa dibahas oleh .