Coherence in monoidal track categories (Q4649461): Difference between revisions

@@ Property / cites work @@
+Higher-dimensional normalisation strategies for acyclicity
+Normal rank
@@ Property / cites work @@
+Braided tensor categories
@@ Property / cites work: Braided tensor categories / rank @@
+Normal rank
@@ Property / cites work @@
+Termination orders for three-dimensional rewriting
+Normal rank
@@ Property / cites work @@
+The algebra of oriented simplexes
@@ Property / cites work: The algebra of oriented simplexes / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-dimensional word problems with applications to equational logic
+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 @@
+Homotopy Associativity of H-Spaces. I
@@ Property / cites work: Homotopy Associativity of H-Spaces. I / rank @@
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Categorical algebra
@@ Property / cites work: Categorical algebra / rank @@
+Normal rank