Text this: Algebra and coalgebra in computer science :