Fixed Points as Equations and Solutions

DOI10.4153/CJM-1984-030-5zbMATH Open0544.18003OpenAlexW2324844002MaRDI QIDQ3333217FDOQ3333217

Jiří Adámek, Wolfgang Merzenich

Publication date: 1984

Published in: Canadian Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4153/cjm-1984-030-5

Recommendations

• On Algebras with Iteration
• Final coalgebras and a solution theorem for arbitrary endofunctors
• A general final coalgebra theorem
• Finitary set endofunctors are alg-universal
• On universal categories of coalgebras

zbMATH Keywords

reflective subcategoryuniversal solutionsuniversal equationsuniversal solutionF-algebrasfixed point of functorF-equations

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Cited In (4)

• Title not available (Why is that?)
• Solving Algebraic Equations Using Coalgebra
• Title not available (Why is that?)
• Isolating Fixed Points

This page was built for publication: Fixed Points as Equations and Solutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3333217)