Teoria das Categorias
2016.2
Ementa e Programa
Sala: B-208, CIn-UFPE.
Monitor: Arthur Freitas Ramos
Horário e Sala de Aula: 2af 08-10h, Sala E-123
4a 10-12h, Sala E-123
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: 05 de Agosto de 2016, 05:29pm GMT-3