PRO (théorie des catégories)

En théorie de Lawvere (en), une PRO (pour « product category ») désigne une catégorie monoïdale dont les objets sont tous de la forme $x\otimes \cdots \otimes x$ , pour un nombre fini de copies de $x$ .

Définition[modifier | modifier le code]

Une PRO est une catégorie monoïdale stricte T dans laquelle l'unique foncteur monoïdal (en) strict $(\mathbb {N} ,+,0)\to (T,\otimes ,I)$ est un isomorphisme sur les objets.

Si la catégorie est symétrique, on parle de PROP (« products and permutations »). Si la catégorie est tressée, on parle de PROB (« products and braiding »).

T-algèbres[modifier | modifier le code]

Si C est une catégorie monoïdale, une T-algèbre dans C est la donnée d'un foncteur monoïdal strict $F:C\to T$ . Avec les transformations naturelles, on a une catégorie des T-algèbres dans C.