On free completely iterative algebras

06/26/2019
by   Jiří Adamek, et al.
0

For every finitary set functor F we demonstrate that free algebras carry a canonical partial order. In case F is bicontinuous, we prove that the cpo obtained as the conservative completion of the free algebra is the free completely iterative algebra. Moreover, the algebra structure of the latter is the unique continuous extension of the algebra structure of the free algebra. For general finitary functors the free algebra and the free completely iterative algebra are proved to be posets sharing the same conservative completion. And for every recursive equation e in the free completely iterative algebra we present an omega-chain of approximate solutions in the free algebra whose join is the solution of e.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/12/2021

Algebraic cocompleteness and finitary functors

A number of categories is presented that are algebraically complete and ...
research
03/01/2020

Profinite congruences and unary algebras

Profinite congruences on profinite algebras determining profinite quotie...
research
10/31/2015

Formal Solutions of Completely Integrable Pfaffian Systems With Normal Crossings

In this paper, we present an algorithm for computing a fundamental matri...
research
10/20/2020

A canonical algebra of open transition systems

Feedback and state are closely interrelated concepts. Categories with fe...
research
09/05/2019

Connected monads weakly preserve products

If F is a (not necessarily associative) monad on Set, then the natural t...
research
11/17/2022

Asymptotic behaviour of a conservative reaction-diffusion system associated with a Markov process algebra model

This paper demonstrates a lower and upper solution method to investigate...
research
01/04/2019

Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond

Ruitenburg's Theorem says that every endomorphism f of a finitely genera...

Please sign up or login with your details

Forgot password? Click here to reset