Algebra and Coalgebra in Computer Science