Categorical and geometrical methods in physics

• Ano de defesa: 2018
• Autor(a) principal: Yuri Ximenes Martins
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: eng
• Instituição de defesa: Universidade Federal de Minas Gerais; Brasil; ICX - DEPARTAMENTO DE MATEMÁTICA; Programa de Pós-Graduação em Matemática; UFMG
• Palavras-chave em Português: string theory; higher topos theory; differential cohomology; quantization; Hilbert's sixth problem; Matemática – Teses; Topologia algébrica – Teses; Física matemática – Teses
• Link de acesso: http://hdl.handle.net/1843/32053

Neste trabalho, desenvolvemos a linguagem categórica em altas dimensões visando aplicá- la nos fundamentos da física, seguindo uma abordagem baseada em obras de Urs Schreiber, John Baez, Jacob Lurie, Daniel Freed, e muitos outros, cujas referências fundamentais são [182, 20, 124, 127, 125]. O texto possui três partes. Na Parte I, introduzimos a linguagem categórica, com foco especial em aspectos algebro-topológicos, e discutimos que esta linguagem não é abstrata o bastante para fornecer uma descrição completa dos fundamentos da física. Na Parte II, introduzimos o processo de categorificação, o qual produz linguagens abstratas a par- tir de linguagens concretas. Exemplos são dados, novamente focando na Topologia Algébrica. Na Parte III, usamos o processo de categorificação para construir linguagens arbitrariamente abstratas (as linguagens categóricas em altas dimensões), incluindo os ∞-topos coesivos. Um enfoque na formalização da teoria da homotopia estável abstrata é dado. Discutimos a razão pela qual se deveria acreditar que os ∞-topos coesivos são linguagens naturais a serem usadas para atacar o sexto problema de Hilbert.