Projective and injective objects in the category of quantales (Q1861462): Difference between revisions

@@ Property / cites work @@
+Quantales, observational logic and process semantics
+Normal rank
@@ Property / cites work @@
+Q4721225
@@ Property / cites work: Q4721225 / rank @@
+Normal rank
@@ Property / cites work @@
+Projective and supercoherent frames
@@ Property / cites work: Projective and supercoherent frames / rank @@
+Normal rank
@@ Property / cites work @@
+Projectives and injectives in the category of complete lattices with residuated mappings
+Normal rank
@@ Property / cites work @@
+Non-Commutative Residuated Lattices
@@ Property / cites work: Non-Commutative Residuated Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3884021
@@ Property / cites work: Q3884021 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2774267
@@ Property / cites work: Q2774267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3154151
@@ Property / cites work: Q3154151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771067
@@ Property / cites work: Q3771067 / rank @@
+Normal rank
@@ Property / cites work @@
+On the quantisation of points
@@ Property / cites work: On the quantisation of points / rank @@
+Normal rank
@@ Property / cites work @@
+Embeddings of quantales into simple quantales
@@ Property / cites work: Embeddings of quantales into simple quantales / rank @@
+Normal rank
@@ Property / cites work @@
+Simple involutive quantales
@@ Property / cites work: Simple involutive quantales / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996704
@@ Property / cites work: Q3996704 / rank @@
+Normal rank
@@ Property / cites work @@
+Statistical metric spaces
@@ Property / cites work: Statistical metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated Lattices
@@ Property / cites work: Residuated Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank