Algebra and Logic Seminar - 12/2/2014

Wednesday, 12 February 2014, 2:00 p.m.

Lecturer: Ricardo Guilherme (Aluno do Mestrado em Matemática e Aplicações-ALC/FCT-UNL)

Title: "Teoria das Categorias: Adjunções, Mónadas e Álgebras".

Local: Room 1.4, Edifício VII

Faculdade de Ciências e Tecnologia, Quinta da Torre, Caparica

Abstract: Em Teoria das Categorias, Adjunções e Mónadas são dois conceitos que se relacionam, no sentido em que dada uma adjunção pode-se construir uma mónada e vice-versa. Por outro lado, a partir da categoria das álgebras de um dado tipo, pode-se construir uma mónada e, posteriormente, a categoria de Eilenberg-Moore, também conhecida pela categoria das T-álgebras da mónada. Assim, neste seminário, pretende-se apresentar alguns resultados que relacionam estes vários conceitos.