Disciplina Curricular

Teoria das Categorias TCat

Diploma de Estudos Avançados em Matemática - DEAMat2006

Contextos

Grupo: DEAMat2006 > 3º Ciclo > Álgebra e Topologia

Período:

Peso

7.5 (para cálculo da média)

Objectivos

Dominar os conceitos básicos da teoria das categorias, por exemplo adjunções, equivalências e limites, subjacentes a construções importantes que surgem em muitas áreas da matemática. Contactar com vários exemplos, provenientes de áreas como a álgebra, a geometria, a topologia e a lógica. Em particular adquirir conhecimento acerca de feixes e topoi e ganhar familiaridade com a noção de que a matemática pode ser interpretada num topos arbitrário, tomando como exemplos teoremas da álgebra e da topologia, relacionados por meio de representações de anéis em feixes.

Programa

Categorias e functores. Transformações naturais, Lema de Yoneda, setas universais. Limites e colimites: igualadores, coigualadores, produtos, coprodutos, produtos fibrados, núcleos, conúcleos. Completude, cocompletude e as suas caracterizações por meio de (co)igualadores e (co)produtos. Adjunções. Preservação e criação de (co)limites. Teoremas sobre adjunções: Teorema de Freyd e Teorema Especial do Functor Adjunto. Exemplos provenientes de outras áreas da matemática, tais como objectos simpliciais e espaços de Eilenberg-Mac Lane para a classificação da cohomologia. Pré-feixes, feixes, fibrados e homeomorfismos locais. Espaços anelados e representações de anéis comutativos. Feixes de anéis enquanto anéis numa categoria de feixes. Classificadores de subobjectos. Exponenciação. Topos elementar. Lógica interna de um topos. Números naturais e números reais num topos. Módulos finitamente gerados, módulos projectivos e módulos livres num topos. Feixes localmente livres e fibrados vectoriais. O Teorema de Swan visto como interpretação numa categoria de feixes de um teorema de Kaplansky da álgebra comutativa.

Metodologia de avaliação

Problemas, seminário (opcional) e exame final.

Disciplinas Execução

2016/2017 - 2ºSemestre

2015/2016 - 2º Semestre

2014/2015 - 2º Semestre

2013/2014 - 2 Semestre

2012/2013 - 2 Semestre

2011/2012 - 2 Semestre

2011/2012 - 1 Semestre

2007/2008 - 2 Semestre