Identifying all preorders on the subdistribution monad (Q283773): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A06
@@ Property / Mathematics Subject Classification ID: 06A06 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C15
@@ Property / Mathematics Subject Classification ID: 18C15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+J20
@@ Property / Mathematics Subject Classification ID: 60J20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q87
@@ Property / Mathematics Subject Classification ID: 68Q87 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6580864
@@ Property / zbMATH DE Number: 6580864 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coalgebras
@@ Property / zbMATH Keywords: coalgebras / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+preorders
@@ Property / zbMATH Keywords: preorders / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+monads
@@ Property / zbMATH Keywords: monads / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+probabilistic transition systems
@@ Property / zbMATH Keywords: probabilistic transition systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+probabilistic bisimulation
@@ Property / zbMATH Keywords: probabilistic bisimulation / rank @@
+Normal rank

Revision as of 18:10, 27 June 2023