polyalgebras