An algebraic formulation for data refinement (Q5887529): Difference between revisions

@@ Property / author @@
-Q175559
@@ Property / author: Q175559 / rank @@
-Normal rank
@@ Property / author @@
+A. John Power
@@ Property / author: A. John Power / rank @@
+Normal rank
@@ 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/bfb0040270
+Normal rank
@@ Property / OpenAlex ID @@
+W2128285030
@@ Property / OpenAlex ID: W2128285030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional monad theory
@@ Property / cites work: Two-dimensional monad theory / rank @@
+Normal rank
@@ Property / cites work @@
+A presentation of topoi as algebraic relative to categories or graphs
+Normal rank
@@ Property / cites work @@
+Lokal präsentierbare Kategorien. (Locally presentable categories)
+Normal rank
@@ Property / cites work @@
+Formal category theory: Adjointness for 2-categories
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5887529