Apa arti "coalgebra" dalam konteks pemrograman?
Saya telah mendengar istilah "coalgebras" beberapa kali dalam pemrograman fungsional dan lingkaran PLT, terutama ketika diskusi tentang objek, comonad, lensa, dan semacamnya. Googling istilah ini memberikan halaman-halaman yang memberikan deskripsi matematis dari struktur-struktur ini yang sangat...