Descrição:

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.