alg-coalg duality