An abstract formulation for rewrite systems (Q5096266): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to bicategories
@@ Property / cites work: Introduction to bicategories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100671
@@ Property / cites work: Q4100671 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+A 2-categorical pasting theorem
@@ Property / cites work: A 2-categorical pasting theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3815296
@@ Property / cites work: Q3815296 / 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