Fecha de inicio
Fecha de fin
Resumen: La idea de esta charla es contarles un resultado que estuve estudiando y
que me gusta mucho. Vamos a hablar de 2-mónadas sobre un 2-categoría y
de las T-+algebras estrictas que tienen asociadas. Entre T-álgebras se
pueden definir varios tipos de morfismos: los morfismos laxos, los
pseudomorfismos y los morfismos estrictos. Bajo ciertas hipótesis,
existe una biyección entre los pseudomorfismos A-->B entre dos álgebras
A,B y los morfismos estrictos A'-->B donde A’ es otra álgebra llamada el
clasificador de pseudomorfismos. Este objeto puede describirse de varias
maneras pero la que les voy a contar es la construcción que hizo Steve
Lack en el artículo “Codescent objects and coherence”. Más
específicamente, veremos cómo se puede obtener el clasificador de
pseudomorfismos como un cierto colímite conocido como objeto de
codescenso.
que me gusta mucho. Vamos a hablar de 2-mónadas sobre un 2-categoría y
de las T-+algebras estrictas que tienen asociadas. Entre T-álgebras se
pueden definir varios tipos de morfismos: los morfismos laxos, los
pseudomorfismos y los morfismos estrictos. Bajo ciertas hipótesis,
existe una biyección entre los pseudomorfismos A-->B entre dos álgebras
A,B y los morfismos estrictos A'-->B donde A’ es otra álgebra llamada el
clasificador de pseudomorfismos. Este objeto puede describirse de varias
maneras pero la que les voy a contar es la construcción que hizo Steve
Lack en el artículo “Codescent objects and coherence”. Más
específicamente, veremos cómo se puede obtener el clasificador de
pseudomorfismos como un cierto colímite conocido como objeto de
codescenso.
-------------------------------------------------------------------
Viernes 31-10 a las 11:15
Salón de Seminarios del IMERL y a través de Zoom
Contacto: Dalia Artenstein darten [at] fing.edu.uy (darten[at]fing[dot]edu[dot]uy) Rafael Parra rparra [at] fing.edu.uy (rparra[at]fing[dot]edu[dot]uy)
Información de acceso a Zoom / Zoom access info:
Enlace / link: https://salavirtual-udelar.zoom.us/j/85001311823
D de reunión / Meeting ID: 850 0131 1823
--