 Here is another example as we wind our way back to set theory. These are based on discussions at the beginning of this entry, concerning streams of numbers  (Section 1.1). We are dealing with the functor Fa = N×a.    Then a  system of stream equations is  a coalgebra for F. To see how this works in a concrete case, we return to  equation (2), reiterated below: 