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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-58027-1_15
+Normal rank
@@ Property / OpenAlex ID @@
+W1561269335
@@ Property / OpenAlex ID: W1561269335 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5890054