On the greatest fixed point of a set functor (Q672316): Difference between revisions

@@ Property / author @@
-Václav Koubek
@@ Property / author: Václav Koubek / rank @@
-Normal rank
@@ Property / author @@
+Václav Koubek
@@ Property / author: Václav Koubek / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4044767
@@ Property / cites work: Q4044767 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145864
@@ Property / cites work: Q4145864 / rank @@
+Normal rank
@@ Property / cites work @@
+Least fixed point of a functor
@@ Property / cites work: Least fixed point of a functor / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996444
@@ Property / cites work: Q3996444 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3900995
@@ Property / cites work: Q3900995 / rank @@
+Normal rank
@@ Property / cites work @@
+Completions of Partially Ordered Sets
@@ Property / cites work: Completions of Partially Ordered Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Terminal coalgebras in well-founded set theory
@@ Property / cites work: Terminal coalgebras in well-founded set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5620720
@@ Property / cites work: Q5620720 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical constructions of free algebras, colimits, and completions of partial algebras
+Normal rank
@@ Property / cites work @@
+A fixpoint theorem for complete categories
@@ Property / cites work: A fixpoint theorem for complete categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3735051
@@ Property / cites work: Q3735051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3731835
@@ Property / cites work: Q3731835 / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank
@@ Property / cites work @@
+Q5574731
@@ Property / cites work: Q5574731 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4065693
@@ Property / cites work: Q4065693 / rank @@
+Normal rank