Une collection de choses à connaître sur les polycatégories, avec des pointeurs vers des articles pertinents. Quelques travaux inédits y sont présentés.
Les polycatégories ont été définies par Szabo en 1975 dans l’article Polycategories. Les polycatégories sont des “catégories avec des morphismes à multiple entrées/sorties”. Les polycatégories interprètent le calcul des séquents classique de Gentzen. Les polycatégories se compose le long d’un objet. La composition de Polycatégories est analogue à la coupure en logique.