Minicurso 1: Introdução às categorias e adjunção de (co)limites.
|
Objetivo: apresentar conceitos introdutório as de Teoria das Categorias com foco na adjunção entre limites e colimites categóricos. Tanto quanto possível, vamos apresentar os conceitos utilizando diagramas de cordas como em Dan Marsden. |
Programa: categorias, funtores, transformações naturais. Equivalência categórica, adjunção. Funtores representáveis. Limites e colimites, Teorema da adjunção |
Cronograma: |
- Dias 1-2-3: categorias, funtores, transformações naturais,
- Dias 4-5: equivalência categórica, adjunção,
- Dias 6: funtores representáveis
- Dias-7-8-9: limites e colimites
- Dia 10: teorema da adjunção
|
Referências: |
- Tai-Danae Bradley – Blog Math3ma https://www.math3ma.com/categories/category-theory
- Thiago Filipe da Silva (UFEs) – Playlist Um passeio pelos feixos com muita categoria https://youtube.com/playlist?list=PL2xox8ncv81VO6io03hPvzdllqjfAocIz*
- Tom Leinster – Basic category theory
- Dan Marsden – Category theory using string diagrams
- TheCatsters – https://www.youtube.com/user/TheCatsters
- Bartosz Milewski – https://www.youtube.com/user/DrBartosz
- Emily Riehl – Category Theory in Context
- Bartosz Milewski – Category Theory for Programmers
- Eduardo Ochs: On my favorite conventions for drawing the missing diagrams in Category T.
- Paolo Perrone: Notes on Category TheoryPaolo Aluffi: Algebra Chapter 0
|
Professor: |
Willian Goulart Gomes Velasco (UFPR) |
Período: |
17/01 a 28/01/2022 |
Horário: |
De segunda à sexta das 14h00 às 16h00 |
Metodologia: |
Aulas síncronas online, aproximadamente 01h45 |
Carga horária: |
20h |
Inscrições: |
Período: 01/12/2021 a 10/01/2022 – ENCERRADAS! |