Monoidal indeterminates and categories of possible worlds (Q418809): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q70
@@ Property / Mathematics Subject Classification ID: 68Q70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C10
@@ Property / Mathematics Subject Classification ID: 18C10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G30
@@ Property / Mathematics Subject Classification ID: 03G30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6039188
@@ Property / zbMATH DE Number: 6039188 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+indeterminates
@@ Property / zbMATH Keywords: indeterminates / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+symmetric monoidal categories
@@ Property / zbMATH Keywords: symmetric monoidal categories / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+possible-world semantics
@@ Property / zbMATH Keywords: possible-world semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+universality
@@ Property / zbMATH Keywords: universality / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+indexed Lawvere theory
@@ Property / zbMATH Keywords: indexed Lawvere theory / rank @@
+Normal rank

Revision as of 21:12, 29 June 2023