Coherence for Categorified Operadic Theories
Coherence for Categorified Operadic Theories
Coherence for Monoidal Endofunctors
Coherence for Monoidal Monads and Comonads
Coherence for Star-Autonomous Categories
Coherence for weak units
Coherence in monoidal track categories
Coherence in Substructural Categories
Coherence of Associativity in Categories with Multiplication
Coherence of Proof-Net Categories
Coherence without unique normal forms
Coherence, Homotopy and 2-Theories
Coherent analogues of matrix factorizations and relative singularity categories
Coherent Bicartesian and Sesquicartesian Categories
Coherent presentations and actions on categories
Coherent presentations of structure monoids and the Higman-Thompson groups
Cohomological Classification of Ann-categories
Cohomological classification of Ann-functors
Cohomological classification of braided $Ann$-categories
Cohomologie non abelienne d'ordre superieur et applications