Beyond Initial Algebras and Final Coalgebras

CoRR(2023)

引用 0|浏览8
暂无评分
摘要
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.
更多
查看译文
关键词
final coalgebras,initial algebras
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要