Beyond Initial Algebras and Final Coalgebras
From MaRDI portal
Publication:6428329
arXiv2303.02065MaRDI QIDQ6428329FDOQ6428329
Jade Master, Ezra Schoen, Clemens Kupke
Publication date: 3 March 2023
Abstract: We provide a construction of the fixed points of functors which may not be inital algebras or final coalgebras. For an endofunctor F, this fixed point construction may be expressed as a pair of adjoint functors between F-coalgebras and F-algebras. We prove a version of the limit colimit coincidence theorem for these generalized fixed points.
This page was built for publication: Beyond Initial Algebras and Final Coalgebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6428329)
