A cubical Squier’s theorem (Q5220186): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06541
@@ Property / arXiv ID: 1612.06541 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiple categories: The equivalence of a globular and a cubical approach
+Normal rank
@@ Property / cites work @@
+Q4250401
@@ Property / cites work: Q4250401 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4159957
@@ Property / cites work: Q4159957 / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebra of cubes
@@ Property / cites work: On the algebra of cubes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248239
@@ Property / cites work: Q4248239 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-dimensional word problems with applications to equational logic
+Normal rank
@@ Property / cites work @@
+Homomorphisms of higher categories
@@ Property / cites work: Homomorphisms of higher categories / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence in monoidal track categories
@@ Property / cites work: Coherence in monoidal track categories / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-dimensional normalisation strategies for acyclicity
+Normal rank
@@ Property / cites work @@
+Polygraphs of finite derivation type
@@ Property / cites work: Polygraphs of finite derivation type / rank @@
+Normal rank
@@ Property / cites work @@
+Q4680356
@@ Property / cites work: Q4680356 / rank @@
+Normal rank
@@ Property / cites work @@
+A coherence theorem for pseudonatural transformations
+Normal rank
@@ Property / cites work @@
+Cubical $(\omega,p)$-categories
@@ Property / cites work: Cubical $(\omega,p)$-categories / rank @@
+Normal rank
@@ Property / cites work @@
+Word problems and a homological finiteness condition for monoids
+Normal rank
@@ Property / cites work @@
+A finiteness condition for rewriting systems
@@ Property / cites work: A finiteness condition for rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Limits indexed by category-valued 2-functors
@@ Property / cites work: Limits indexed by category-valued 2-functors / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of oriented simplexes
@@ Property / cites work: The algebra of oriented simplexes / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3004734796
@@ Property / OpenAlex ID: W3004734796 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5220186