Coherence of Proof-net Categories
The aim of this note, which raises more questions than it answers, is to study natural operations acting on the cohomology of various types of algebras. It contains a lot of very surprising partial results and examples.
Cet article fait suite à trois mémoires parus dans les Annales de l’Institut Fourier (tomes 10, 13 et 14). Son but est d’étendre aux catégories ordonnées les résultats sur les atlas et sur la complétion, précédemment obtenus dans le cas des groupoïdes sous-préinductifs et prélocaux.Soit une catégorie ordonnée régulière dont le groupoïde des éléments inversibles est ordonné semi-régulier. On associe à les catégories -structurées régulières des fusées régulières et des fusées strictes régulières,...