On the PROP corresponding to bialgebras

Un PROP A est une categorie monoidale symetrique stricte avec la propriete suivante (cf [13]): les objets de A sont les nombres naturels et l'operation monoidale est l'addition sur les objets. Une algebre sur A est un foncteur monoidal strict de A vers la categorie tensorielle Vect des espaces vectoriels sur un corps commutatif k. On construit le PROP QF(as) et on montre que les algebres sur QF(as) sont exactement les bigebres.