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

@@ 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