relationship with coalgebras