IMDEA Software

Iniciativa IMDEA

Inicio > Eventos > Software Seminar Series > 2018 > An experiment on the Knaster-Tarski construction
Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Jesús Domínguez

martes 17 de julio de 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.