I gave a talk at the Comonads Meetup titled Homomorphism Indistinguishability for Comonadists. Check out my slides.