On algebras with effectful iteration

DOI10.1007/978-3-030-00389-0_9OpenAlexW2891428115MaRDI QIDQ1798792

Henning Urbat, Jiří Adámek, Stefan Milius

Publication date: 23 October 2018

Full work available at URL: https://hal.inria.fr/hal-02044647/file/473364_1_En_9_Chapter.pdf

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (2)

Unnamed Item ⋮ On algebras with effectful iteration

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets
• Iterative algebras
• Fundamental properties of infinite trees
• Unique fixed points vs. least fixed points
• Proper semirings and proper convex functors
• Completely iterative algebras and completely iterative monads
• On algebras with effectful iteration
• A new foundation for finitary corecursion and iterative algebras
• Congruences of convex algebras.
• A fixpoint theorem for complete categories
• Coequalizers and free triples
• A New Foundation for Finitary Corecursion
• Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
• Simulations of Weighted Tree Automata
• Iterative algebras at work
• Adjoint Lifting Theorems for Categories of Algebras
• Proper Functors and their Rational Fixed Point.
• Finite Behaviours and Finitary Corecursion
• Generalizing determinization from automata to coalgebras
• Finitary Corecursion for the Infinitary Lambda Calculus
• Elgot Algebras
• Shorter Notes: Redei's Finiteness Theorem for Commutative Semigroups
• Semantics of Higher-Order Recursion Schemes

This page was built for publication: On algebras with effectful iteration