Teorias das categorias e teoria dos conjuntos (1997)
- Authors:
- Autor USP: VOLKOV, ANALICE GEBAUER - FFLCH
- Unidade: FFLCH
- Sigla do Departamento: FLF
- Subjects: TEORIA DOS CONJUNTOS; MATEMÁTICA; FILOSOFIA; MATEMÁTICA
- Language: Português
- Abstract: A teoria de categorias surgiu em 1945, com os trabalhos de S. Eilenberg e S. Mac Lane. O objetivo imediato desses autores era a simplificação de certos aspectos da topologia algébrica, mas os conceitos de "categoria", "morfismo", "funtor" e "transformação natural" mostraram ser de relevância também em outros ramos da matemática. A teoria de categorias não pode ser fundamentada nas usuais teorias de conjuntos como as de Zermelo-Fraenkel (ZF) e de von Neumann-Bernays-Gödel (NBG), a não ser em versões extendidas dessas teorias. Alguns autores, como F. W. Lawvere e S. Mac Lane, procuraram fundamentar a matemática (pelo menos em parte) usando o conceito de "categoria". L. Oubiña desenvolveu uma teoria de categorias que tem estreitas relações com a teoria de conjuntos tal como formulada por Bourbaki. Nesta tese, apresentamos a teoria de categorias de Oubiña com algumas modificações e fazemos as provas de consistência relativa com a teoria de conjuntos ZF fortalecida que chamamos de teoria forte de conjuntos e a teoria de categorias usual
- Imprenta:
- Data da defesa: 13.10.1997
-
ABNT
VOLKOV, Analice Gebauer. Teorias das categorias e teoria dos conjuntos. 1997. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1997. . Acesso em: 13 maio 2025. -
APA
Volkov, A. G. (1997). Teorias das categorias e teoria dos conjuntos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. -
NLM
Volkov AG. Teorias das categorias e teoria dos conjuntos. 1997 ;[citado 2025 maio 13 ] -
Vancouver
Volkov AG. Teorias das categorias e teoria dos conjuntos. 1997 ;[citado 2025 maio 13 ]
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
