What does "coalgebra" mean in the context of programming?

stackoverflow.com