On Well-Founded and Recursive Coalgebras

10/21/2019
by   Jiří Adamek, et al.
0

This paper studies fundamental questions concerning category-theoretic models of induction and recursion. We are concerned with the relationship between well-founded and recursive coalgebras for an endofunctor. For monomorphism preserving endofunctors on complete and well-powered categories every coalgebra has a well-founded part, and we provide a new, shorter proof that this is the coreflection in the category of all well-founded coalgebras. We present a new more general proof of Taylor's General Recursion Theorem that every well-founded coalgebra is recursive, and we study under which hypothesis the converse holds. In addition, we present a new equivalent characterization of well-foundedness: a coalgebra is well-founded iff it admits a coalgebra-to-algebra morphism to the initial algebra.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/12/2018

Forest Categories

We extend Tilson's theory of the algebra of finite categories, in partic...
research
04/20/2021

An Initial Algebra Theorem Without Iteration

The Initial Algebra Theorem by Trnková et al. states, under mild assumpt...
research
11/14/2019

On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration

For every finitary monad T on sets and every endofunctor F on the catego...
research
03/29/2023

Coinductive control of inductive data types

We combine the theory of inductive data types with the theory of univers...
research
03/30/2023

Effect Algebras as Omega-categories

We show how an effect algebra 𝒳 can be regarded as a category, where the...
research
03/06/2023

Fixpoint operators for 2-categorical structures

Fixpoint operators are tools to reason on recursive programs and data ty...
research
02/04/2016

On a recursive construction of circular paths and the search for π on the integer lattice Z^2

Digital circles not only play an important role in various technological...

Please sign up or login with your details

Forgot password? Click here to reset