Teoria das Categorias 

2016.2

Ementa e Programa

Instrutor: Ruy de Queiroz

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


Livro-Texto:


Outros recursos bibliográficos:

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


Calendário

08 Ago

Motivação


10 Ago

Definições básicas


22 Ago

?


24 Ago

?

 

29 Ago

?


31 Ago

?




Cursos anteriores

2015-1



Última atualização: 05 de Agosto de 2016, 05:29pm GMT-3