Madrid Haskell Users Group - Bartosz Milewski: Ciclo de Charlas de Teoría de Categorías
Monday 9 April 2018, 17:00 - 18:00
Calle de los Ciruelos, Boadilla del Monte, Madrid, España
Los chicos da la Universidad Politécnica nos invitan a todos los Haskellnautas a este ciclo de charlas extraordinario. El ciclo de charlasDel 9 al 13 de abril Bartosz Milewski estará en la ETSIINF haciendo un ciclo de charlas sobre Teoría de Categorías. Esta área de las matemáticas guarda una profunda relación con la informática, y últimamente se está recurriendo a ella para implementar nuevas abstracciones en los lenguajes de programación funcionales. De esta teoría se toman términos como mónada o funtor, y empiezan a ser usados en contextos de programación. Durante la segunda semana de abril, a partir de las 17:00, Bartosz Milewski estará hablando en el hemiciclo 1003 sobre conceptos, fundamentos y aplicaciones de la Teoría de Categorías. Entre los temas a tratar podemos encontrar: La relación entre la teoría de categorías, la teoría de tipos de Martin Löf y la lógica (proof-relevant constructive logic).Definiciones de las categorías, objetos terminales, elementos globales.Categoría opuesta, objetos iniciales.Producto y Coproducto.Categorías monoidales y tipos algebraicos de datos.…Y más temas que se irán tratando a lo largo de la semana. Además, desde ACM UPM, se prepararán y expondrán una serie de papers ya publicados sobre programación funcional. Estas presentaciones complementarán las charlas de Bartosz, y se realizarán previamente a ellas. Desde la cuenta de Twitter de ACM (@acmupm) y desde el canal de Telegram (@acmupm) se puede estar al tanto de las novedades en cuanto a estas presentaciones. Como llegar a la Universidad: https://www.fi.upm.es/?id=comollegar
Publicado por: Betabeers