terminology of (co)algebras