some introduction to coalgebra section