A point-free perspective on lax extensions and predicate liftings (Q6149965): Difference between revisions

@@ Property / cites work @@
+Presentation of Set Functors: A Coalgebraic Perspective
+Normal rank
@@ Property / cites work @@
+On finitary functors and their presentations
@@ Property / cites work: On finitary functors and their presentations / rank @@
+Normal rank
@@ Property / cites work @@
+On Finitary Functors
@@ Property / cites work: On Finitary Functors / rank @@
+Normal rank
@@ Property / cites work @@
+Q5480755
@@ Property / cites work: Q5480755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3156494
@@ Property / cites work: Q3156494 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and continuity spaces
@@ Property / cites work: Quantales and continuity spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3137152
@@ Property / cites work: Q3137152 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Behavioural Reasoning for Higher-order Effectful Programs
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal Topology
@@ Property / cites work: Monoidal Topology / rank @@
+Normal rank
@@ Property / cites work @@
+Lawvere completion and separation via closure
@@ Property / cites work: Lawvere completion and separation via closure / rank @@
+Normal rank
@@ Property / cites work @@
+Simulations in coalgebra
@@ Property / cites work: Simulations in coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras
+Normal rank
@@ Property / cites work @@
+Equational Coalgebraic Logic
@@ Property / cites work: Equational Coalgebraic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Relation lifting, a survey
@@ Property / cites work: Relation lifting, a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Metric spaces, generalized logic, and closed categories
+Normal rank
@@ Property / cites work @@
+Predicate Liftings Versus Nabla Modalities
@@ Property / cites work: Predicate Liftings Versus Nabla Modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Taut monads and \(T0\)-spaces.
@@ Property / cites work: Taut monads and \(T0\)-spaces. / rank @@
+Normal rank
@@ Property / cites work @@
+Lax extensions of coalgebra functors and their logic
+Normal rank
@@ Property / cites work @@
+Expressive logics for coalgebras via terminal sequence induction
+Normal rank
@@ Property / cites work @@
+Expressivity of coalgebraic modal logic: the limits and beyond
+Normal rank
@@ Property / cites work @@
+Rank-1 Modal Logics are Coalgebraic
@@ Property / cites work: Rank-1 Modal Logics are Coalgebraic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3614496
@@ Property / cites work: Q3614496 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5701007
@@ Property / cites work: Q5701007 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3411948
@@ Property / cites work: Q3411948 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to quantaloid-enriched categories
@@ Property / cites work: An introduction to quantaloid-enriched categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5089293
@@ Property / cites work: Q5089293 / rank @@
+Normal rank
@@ Property / cites work @@
+A quantified coalgebraic van Benthem theorem
@@ Property / cites work: A quantified coalgebraic van Benthem theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5094149
@@ Property / cites work: Q5094149 / rank @@
+Normal rank