Rewriting in higher dimensional linear categories and application to the affine oriented Brauer category, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01281219
Higher-dimensional linear rewriting and coherence in categorification and representation theory, 2018. ,
URL : https://hal.archives-ouvertes.fr/tel-01896102
On the definition of Kac-Moody 2-category, 2015. ,
Higher-dimensional word problems with applications to equational logic, 4th Summer Conference on Category Theory and Computer Science, vol.115, pp.43-62, 1991. ,
Algebraic polygraphs modulo and linear rewriting, 2019. ,
Introduction to linear bicategories, The Lambek Festschrift: mathematical structures in computer science, vol.10, pp.165-203, 1997. ,
Termination of rewriting, J. Symb. Comput, vol.3, issue.1-2, pp.69-115, 1987. ,
Rewriting modulo isotopies in pivotal linear (2, 2)-categories, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02263268
Coherent confluence modulo relations and double groupoids, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01898868
, Convergent presentations and polygraphic resolutions of associative algebras, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01006220
Higher-dimensional categories with finite derivation type, Theory Appl. Categ, vol.22, issue.18, pp.420-478, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00326974
Higher-dimensional normalisation strategies for acyclicity, Adv. Math, vol.231, issue.3-4, pp.2294-2351, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00531242
Polygraphs of finite derivation type, Math. Structures Comput. Sci, vol.28, issue.2, pp.155-201, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-00932845
The algebra of entanglement and the geometry of composition, 2017. ,
Confluent reductions: abstract properties and applications to term rewriting systems, J. Assoc. Comput. Mach, vol.27, issue.4, pp.797-821, 1980. ,
Completion of a set of rules modulo a set of equations, Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL '84, pp.83-92, 1984. ,
Infinite-dimensional Lie algebras, 1990. ,
Categorification of highest weight modules via Khovanov-LaudaRouquier algebras, Invent. Math, vol.190, issue.3, pp.699-742, 2012. ,
A diagrammatic approach to categorification of quantum groups III, Quantum Topology, vol.1, issue.1, pp.1-92, 2008. ,
A diagrammatic approach to categorification of quantum groups, I. Represent. Theory, vol.13, pp.309-347, 2009. ,
A diagrammatic approach to categorification of quantum groups II, Trans. Amer. Math. Soc, vol.363, issue.5, pp.2685-2700, 2011. ,
Algebra and geometry of rewriting, Appl. Categ. Structures, vol.15, issue.4, pp.415-437, 2007. ,
An introduction to diagrammatic algebra and categorified quantum sl(2), Bull. Inst. Math. Acad. Sin. (N.S.), vol.7, issue.2, pp.165-270, 2012. ,
A coherence theorem for pseudonatural transformations, Journal of Pure and Applied Algebra, vol.221, issue.5, pp.1146-1217, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01191867
Introduction to quantum groups. Modern Birkhäuser Classics, 2010. ,
Resolutions by polygraphs, Theory Appl. Categ, vol.11, issue.7, pp.148-184, 2003. ,
Cofibrant objects among higher-dimensional categories, Homology Homotopy Appl, vol.10, issue.1, pp.181-203, 2008. ,
Computing critical pairs in 2-dimensional rewriting systems, RTA 2010: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, vol.6, pp.227-241, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00473983
, , 2008.
String diagrams and categorification, 2018. ,
Limits indexed by category-valued 2-functors, J. Pure Appl. Algebra, vol.8, issue.2, pp.149-181, 1976. ,
The algebra of oriented simplexes, J. Pure Appl. Algebra, vol.49, issue.3, pp.283-335, 1987. ,
Confluence by decreasing diagrams, Theor. Comput. Sci, vol.126, issue.2, pp.259-280, 1994. ,
Knot invariants and higher representation theory, Mem. Amer. Math. Soc, vol.250, p.141, 1191. ,