Bartosz Milewski: Ciclo de Charlas de Teoría de Categorías

Apr 9, 2018 · Boadilla del Monte, Spain

Los chicos da la Universidad Politécnica nos invitan a todos los Haskellnautas a este ciclo de charlas extraordinario.

El ciclo de charlas
Del 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

Event organizers
  • Madrid Haskell Users Group

    The Madrid Haskell Users Group is for programmers interested in the Haskell programming language and derivatives no matter if you are just starting to get your head around pure functional programming or you have been doing since while. We think the task of learning Haskell is by far more easy if we tackle it together. Our events center around short, concise and easy to follow talks we the experienced helps the newbie to keep them motivate. We also are open to host social hours, workshops and hackathons. Th

    Recent Events
    More

Are you organizing Bartosz Milewski: Ciclo de Charlas de Teoría de Categorías?

Claim the event and start manage its content.

I am the organizer
Social
Rating

based on 0 reviews