IMDEA Software

IMDEA initiative

Home > Events > Software Seminar Series > 2018 > An experiment on the Knaster-Tarski construction

Jesús Domínguez

Tuesday, July 17, 2018

10:45am Lecture hall 1, level B

Jesús Domínguez, PhD Student, IMDEA Software Institute

An experiment on the Knaster-Tarski construction

Abstract:

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.