FenixEdu™

Disciplina

Teoria das Categorias

Área

Área Científica de Álgebra e Topologia > Álgebra e Topologia

Activa nos planos curriculares

DEAMat2006 > DEAMat2006 > 3º Ciclo > Álgebra e Topologia > Teoria das Categorias

MMA 2006 > MMA 2006 > 2º Ciclo > Perfis > Matemática e Aplicações Fundamentais > Álgebra e Topologia > Opções de Álgebra e Topologia > Teoria das Categorias

Nível

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

Tipo

Não Estruturante

Regime

Semestral

Carga Horária

1º Semestre

Aula Teórica (T): 4.0 h/semana

Trabalho Autónomo: 154.0 h/semestre

Créditos ECTS:

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.