BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Octavio Malherbe (Universidad de la República\, Uruguay)
DTSTART:20210506T170000Z
DTEND:20210506T180000Z
DTSTAMP:20260423T052335Z
UID:LoReL/3
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LoReL/3/">Ca
 tegorías indexadas\, tripos y realizabilidad</a>\nby Octavio Malherbe (Un
 iversidad de la República\, Uruguay) as part of LoReL Seminar\n\n\nAbstra
 ct\nEn esta charla comenzaremos  con una introducción a las categorías i
 ndexadas 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 realizabilid
 ad clásica de Krivine  denominadas Abstract Krivine Structure (AKS) y cie
 rtas álgebras combinatorias (denominadas full adjunction ordered combinat
 ory algebras).  Veremos cómo de una AKS se determina una de estas álgebr
 as y en el otro sentido estas determinan un AKS para que sus tripos sean e
 quivalentes.\n
LOCATION:https://researchseminars.org/talk/LoReL/3/
END:VEVENT
END:VCALENDAR