Teoria das Categorias
2020.1
Ementa e Programa
Sala: B-208, CIn-UFPE.
Monitor: (a confirmar)
Horário e Sala de Aula: 2af 10-12h, Sala E-122
4a 08-10h, Sala E-122
Forum: lista de e-mail “categorias-l @ cin ufpe br”
Descrição do curso:
Categorias; estruturas abstratas; dualidade; categorias e grupos; limites e colimites; exponenciais; funtores e naturalidade; categorias de diagramas; adjuntos; mônadas e álgebras.
Avaliação:
Listas semanais de exercícios
Prova escrita
Apresentações de seminário
1. Categories for the Working Mathematician, Saunders Mac Lane, 2nd edition, Springer, 1997.
2. http://en.wikipedia.org/wiki/Category_theory
3. http://ncatlab.org/nlab/show/category+theory
4. Categories, Types and Structures: An Introduction to Category Theory for the working computer scientist, Andrea Asperti & Giuseppe Longo, MIT Press, 1991.
5. Abstract and Concrete Categories: The Joy of Cats, Jiri Adámek, Horst Herrlich & George E. Strecker, 2004.
6. Introduction to Categories and Categorical Logic, Samson Abramsky and Nikos Tzevelekos, http://arxiv.org/abs/1102.1313, Feb 2011.
7. Introduction to Category Theory and Categorical Logic, Thomas Streicher, SS 03 and WS 03/04, 2004.
8. Category theory, Steve Awodey, 1st edition, 2006.
9. Category Theory for Computing Science, 2nd edition, Michael Barr and Charles Wells., Prentice-Hall, 1995.
10. Category theory, Jean-Pierre Marquis, Stanford Encyclopedia of Philosophy.
11. Basic category theory, Jaap van Oosten, Amsterdam University, 2002.
12. Category theory lecture notes, Daniele Turi, University of Edinburgh, 2001.
13. Category theory, Wikibooks.
Recursos audiovisuais:
1. Category Theory Foundations, Lecture 1, S. Awodey
2. Category Theory Foundations, Lecture 2, S. Awodey
3. Category Theory Foundations, Lecture 3, S. Awodey
4. Category Theory Foundations, Lecture 4, S. Awodey
08 Ago
Motivação
10 Ago
Definições básicas
22 Ago
?
24 Ago
?
29 Ago
?
31 Ago
?
Última atualização: 11 de Março de 2020, 08:32am GMT-3