Relative fixed points of functors

DOI10.46298/FI.12374MaRDI QIDQ6921238zbMATH OpenFDO

Authors Ezra Schoen, Jade Master, Clemens Kupke

Publication date 6 October 2025

Published in Fundamenta Informaticae (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/FI.12374

zbMATH Keywords

algebracoalgebrafixed pointscoalgebra-to-algebra morphisms

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• A new foundation for finitary corecursion. The locally finite fixpoint and its properties
• Coalgebraic infinite traces and Kleisli simulations
• Constructive versions of Tarski's fixed point theorems
• Corecursive algebras: a study of general structured corecursion
• Exploiting adjoints in property directed reachability analysis
• Final coalgebras from corecursive algebras
• Fixed points of set functors: how many iterations are needed?
• Generic Trace Semantics via Coinduction
• How to Write a Coequation ((Co)algebraic pearls)
• Introduction to coalgebra. Towards mathematics of states and observation
• Iterative algebras at work
• On the structure of categories of coalgebras
• Recursive coalgebras from comonads
• Recursive coalgebras of finitary functors
• Relatively terminal coalgebras
• Steps and traces
• The Category-Theoretic Solution of Recursive Domain Equations
• The Sierpinski carpet as a final coalgebra
• Trace semantics for coalgebras

This page was built for publication: Relative fixed points of functors

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