Categorías indexadas, tripos y realizabilidad

Octavio Malherbe (Universidad de la República, Uruguay)

06-May-2021, 17:00-18:00 (3 years ago)

Abstract: En esta charla comenzaremos con una introducción a las categorías indexadas para luego adentrarnos con un ejemplo de estas mediante la noción de tripos. Esta herramienta nos permite modelar la lógica de alto orden y nos va permitir trabajar con ciertas abstracciones de la realizabilidad clásica de Krivine denominadas Abstract Krivine Structure (AKS) y ciertas álgebras combinatorias (denominadas full adjunction ordered combinatory algebras). Veremos cómo de una AKS se determina una de estas álgebras y en el otro sentido estas determinan un AKS para que sus tripos sean equivalentes.

Spanishlogic in computer scienceprogramming languages

Audience: researchers in the topic


LoReL Seminar

Series comments: Talks are either in Spanish or English, however they can often be in English upon request.

Organizer: Alejandro Díaz-Caro*
*contact for this listing

Export talk to