Work

Beyond Initial Algebras and Final Coalgebras

Year: 2023

Type: preprint

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.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2303.02065

Authors: Schoen, Ezra, Master, Jade, Kupke, Clemens

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4323323629

Cites:

Cited by:

Related to: 10