Lifting theorems for Kleisli categories (Q5890054): Difference between revisions

@@ Property / cites work @@
+Q3138535
@@ Property / cites work: Q3138535 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional PERs
@@ Property / cites work: Extensional PERs / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoint Lifting Theorems for Categories of Algebras
+Normal rank
@@ Property / cites work @@
+Strong functors and monoidal monads
@@ Property / cites work: Strong functors and monoidal monads / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Monads and algebras in the semantics of partial data types
+Normal rank
@@ Property / cites work @@
+Q3138544
@@ Property / cites work: Q3138544 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial map classifiers and partial cartesian closed categories
+Normal rank