A categorical theory of patches (Q265821): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q65
@@ Property / Mathematics Subject Classification ID: 68Q65 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A35
@@ Property / Mathematics Subject Classification ID: 18A35 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B99
@@ Property / Mathematics Subject Classification ID: 18B99 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6567565
@@ Property / zbMATH DE Number: 6567565 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+category theory
@@ Property / zbMATH Keywords: category theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coinitial patch
@@ Property / zbMATH Keywords: coinitial patch / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+universal property
@@ Property / zbMATH Keywords: universal property / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+category of files and patches
@@ Property / zbMATH Keywords: category of files and patches / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+pushout
@@ Property / zbMATH Keywords: pushout / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+free completion under finite colimits
@@ Property / zbMATH Keywords: free completion under finite colimits / rank @@
+Normal rank

Revision as of 14:25, 27 June 2023