Equational properties of iterative monads (Q618163): Difference between revisions

@@ Property / cites work @@
+A Coalgebraic View of Infinite Trees and Iteration
+Normal rank
@@ Property / cites work @@
+Infinite trees and completely iterative theories: A coalgebraic view
+Normal rank
@@ Property / cites work @@
+Q5454623
@@ Property / cites work: Q5454623 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative algebras at work
@@ Property / cites work: Iterative algebras at work / rank @@
+Normal rank
@@ Property / cites work @@
+What Are Iteration Theories?
@@ Property / cites work: What Are Iteration Theories? / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative reflections of monads
@@ Property / cites work: Iterative reflections of monads / rank @@
+Normal rank
@@ Property / cites work @@
+Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Coequalizers and free triples
@@ Property / cites work: Coequalizers and free triples / rank @@
+Normal rank
@@ Property / cites work @@
+Equational axioms for regular sets
@@ Property / cites work: Equational axioms for regular sets / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to extensive and distributive categories
+Normal rank
@@ Property / cites work @@
+A Perspective View of Discrete Automata and Their Design
+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 @@
+Q2707234
@@ Property / cites work: Q2707234 / rank @@
+Normal rank
@@ Property / cites work @@
+Lokal präsentierbare Kategorien. (Locally presentable categories)
+Normal rank
@@ Property / cites work @@
+Algebras, Coalgebras, Monads and Comonads
@@ Property / cites work: Algebras, Coalgebras, Monads and Comonads / rank @@
+Normal rank
@@ Property / cites work @@
+Regular trees and the free iterative theory
@@ Property / cites work: Regular trees and the free iterative theory / rank @@
+Normal rank
@@ Property / cites work @@
+Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Completely iterative algebras and completely iterative monads
+Normal rank
@@ Property / cites work @@
+Parametric corecursion
@@ Property / cites work: Parametric corecursion / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion and corecursion have the same equational logic
+Normal rank
@@ Property / cites work @@
+Iterative algebras
@@ Property / cites work: Iterative algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Unique fixed points vs. least fixed points
@@ Property / cites work: Unique fixed points vs. least fixed points / rank @@
+Normal rank
@@ Property / cites work @@
+On the final sequence of a finitary set functor
@@ Property / cites work: On the final sequence of a finitary set functor / rank @@
+Normal rank