Solving Algebraic Equations Using Coalgebra (Q4460687): Difference between revisions

@@ Property / cites work @@
+Infinite trees and completely iterative theories: A coalgebraic view
+Normal rank
@@ Property / cites work @@
+A Coalgebraic View of Infinite Trees and Iteration
+Normal rank
@@ Property / cites work @@
+Final Coalgebras are Ideal Completions of Initial Algebras
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Free iterative theories: a coalgebraic view
@@ Property / cites work: Free iterative theories: a coalgebraic view / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of rooted trees
@@ Property / cites work: On the algebraic structure of rooted trees / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Monads
@@ Property / cites work: Coalgebraic Monads / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras, Coalgebras, Monads and Comonads
@@ Property / cites work: Algebras, Coalgebras, Monads and Comonads / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics
@@ Property / cites work: Algebraic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
+Normal rank
@@ Property / cites work @@
+Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
+Normal rank
@@ Property / cites work @@
+Q4362961
@@ Property / cites work: Q4362961 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric corecursion
@@ Property / cites work: Parametric corecursion / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on algebra: Monadicity and generalisations of equational theories
+Normal rank