The intersection of algebra and coalgebra

Presheaf categories are well-known to be varieties of algebras and covarieties of coalgebras. We prove the converse: if a category is a variety as well as a covariety, then it is a presheaf category. Our main result is that all coalgebras on a set functor H form a presheaf category iff H is a reduction of a polynomial functor.