Teoria das Categorias
2015.1
Ementa e Programa
Sala: B-208, CIn-UFPE.
Monitor: Arthur Freitas Ramos
Horário e Sala de Aula: 3af 08-10h, Sala D-224
5a 10-12h, Sala D-224
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
16 Mar
Motivação
18 Mar
Definições básicas
23 Mar
?
25 Mar
?
30 Mar
?
01 Abr
?
Última atualização: 18 de Junho de 2015, 10:32am GMT-3