Word problems on string diagrams
<p>String diagrams are graphical representations of morphisms in various sorts of categories. The mathematical results which establish their soundness and completeness provide an elegant bridge between algebra and topology, equating a certain class of topological deformations to the equational...
Main Author: | Delpeuch, A |
---|---|
Other Authors: | Vicary, J |
Format: | Thesis |
Language: | English |
Published: |
2021
|
Subjects: |
Similar Items
-
Rewriting context-free families of string diagrams
by: Zamdzhiev, V
Published: (2016) -
String diagrams for text
by: Wang-Maścianica, V
Published: (2023) -
Normalization for planar string diagrams and a quadratic equivalence algorithm
by: Antonin Delpeuch, et al.
Published: (2022-01-01) -
Rewriting, computation and proof : essays dedicated to jean-pierre jouannaud on the occasion of his 60th birthday /
by: Comon, Hubert, et al.
Published: (2007) -
Term Rewriting and Applications [electronic resource] : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007: Proceedings /
by: International Conference on Rewriting Techniques and Applications (18th : 2007 : Paris, France), et al.
Published: (2007)