An experiment on the Knaster-Tarski construction

July 17, 2018

Jesús Domínguez


An experiment on the Knaster-Tarski construction

Time:   10:45am
Location:   Lecture hall 1, level B

The Knaster-Tarski Lemma is one of the main tools for obtaining fixpoints. There are also iterative methods, and these allow a translation into Category Theory. In Category Theory, instead of talking about the least fixpoint of a monotone function, we talk about the initial algebra of a functor. Does the Knaster-Tarski Lemma allow a similar translation into the language of algebras, as iterative approaches do? In this talk I will explore an attempt of translation.