| spelling |
Rodney Josué Biezunerhttp://lattes.cnpq.br/6479889529886009Mário Jorge Dias CarneiroMário Jorge Dias CarneiroFábio DadamHelvécio Geovani Fargnoli Filhohttp://lattes.cnpq.br/7703153488734239Yuri Ximenes Martins2020-01-20T18:55:36Z2020-01-20T18:55:36Z2018-02-20http://hdl.handle.net/1843/32053In this work we develop the higher categorical language aiming to apply it in the foundations of physics, following an approach based in works of Urs Schreiber, John Baez, Jacob Lurie, Daniel Freed and many other, whose fundamental references are [182, 20, 124, 127, 125]. The text has three parts. In Part I we introduce categorical language with special focus in algebraic topological aspects, and we discuss that it is not abstract enough to give a full description for the foundations of physics. In Part II we introduce the categorical process, which produce an abstract language from a concrete language. Examples are given, again focused on Algebraic Topology. In Part III we use the categorification process in order to construct arbitrarily abstract languages, the higher categorical ones, including the cohesive ∞-topos. An emphasis on the formalization of abstract stable homotopy theory is given. We discuss the reason why we should believe that cohesive ∞-topos are natural languages to use in order to attack Hilbert’s sixth problem.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.CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível SuperiorengUniversidade Federal de Minas GeraisPrograma de Pós-Graduação em MatemáticaUFMGBrasilICX - DEPARTAMENTO DE MATEMÁTICAPrograma Institucional de Internacionalização – CAPES - PrIntMatemática – TesesTopologia algébrica – TesesFísica matemática – Tesesstring theoryhigher topos theorydifferential cohomologyquantizationHilbert's sixth problemCategorical and geometrical methods in physicsMétodos categóricos e geométricos em físicainfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMGORIGINALdissertacao_yuri_FINAL.pdfdissertacao_yuri_FINAL.pdfdissertacao_YURIapplication/pdf3398616https://repositorio.ufmg.br/bitstream/1843/32053/1/dissertacao_yuri_FINAL.pdf6d52828e4e3ef8781a75c13e0fcd1befMD51LICENSElicense.txtlicense.txttext/plain; charset=utf-82119https://repositorio.ufmg.br/bitstream/1843/32053/2/license.txt34badce4be7e31e3adb4575ae96af679MD52TEXTdissertacao_yuri_FINAL.pdf.txtdissertacao_yuri_FINAL.pdf.txtExtracted texttext/plain845261https://repositorio.ufmg.br/bitstream/1843/32053/3/dissertacao_yuri_FINAL.pdf.txtc762a5436d5df79b390d4eaa15833297MD531843/320532020-01-21 03:27:24.448oai:repositorio.ufmg.br:1843/32053TElDRU7Dh0EgREUgRElTVFJJQlVJw4fDg08gTsODTy1FWENMVVNJVkEgRE8gUkVQT1NJVMOTUklPIElOU1RJVFVDSU9OQUwgREEgVUZNRwoKQ29tIGEgYXByZXNlbnRhw6fDo28gZGVzdGEgbGljZW7Dp2EsIHZvY8OqIChvIGF1dG9yIChlcykgb3UgbyB0aXR1bGFyIGRvcyBkaXJlaXRvcyBkZSBhdXRvcikgY29uY2VkZSBhbyBSZXBvc2l0w7NyaW8gSW5zdGl0dWNpb25hbCBkYSBVRk1HIChSSS1VRk1HKSBvIGRpcmVpdG8gbsOjbyBleGNsdXNpdm8gZSBpcnJldm9nw6F2ZWwgZGUgcmVwcm9kdXppciBlL291IGRpc3RyaWJ1aXIgYSBzdWEgcHVibGljYcOnw6NvIChpbmNsdWluZG8gbyByZXN1bW8pIHBvciB0b2RvIG8gbXVuZG8gbm8gZm9ybWF0byBpbXByZXNzbyBlIGVsZXRyw7RuaWNvIGUgZW0gcXVhbHF1ZXIgbWVpbywgaW5jbHVpbmRvIG9zIGZvcm1hdG9zIMOhdWRpbyBvdSB2w61kZW8uCgpWb2PDqiBkZWNsYXJhIHF1ZSBjb25oZWNlIGEgcG9sw610aWNhIGRlIGNvcHlyaWdodCBkYSBlZGl0b3JhIGRvIHNldSBkb2N1bWVudG8gZSBxdWUgY29uaGVjZSBlIGFjZWl0YSBhcyBEaXJldHJpemVzIGRvIFJJLVVGTUcuCgpWb2PDqiBjb25jb3JkYSBxdWUgbyBSZXBvc2l0w7NyaW8gSW5zdGl0dWNpb25hbCBkYSBVRk1HIHBvZGUsIHNlbSBhbHRlcmFyIG8gY29udGXDumRvLCB0cmFuc3BvciBhIHN1YSBwdWJsaWNhw6fDo28gcGFyYSBxdWFscXVlciBtZWlvIG91IGZvcm1hdG8gcGFyYSBmaW5zIGRlIHByZXNlcnZhw6fDo28uCgpWb2PDqiB0YW1iw6ltIGNvbmNvcmRhIHF1ZSBvIFJlcG9zaXTDs3JpbyBJbnN0aXR1Y2lvbmFsIGRhIFVGTUcgcG9kZSBtYW50ZXIgbWFpcyBkZSB1bWEgY8OzcGlhIGRlIHN1YSBwdWJsaWNhw6fDo28gcGFyYSBmaW5zIGRlIHNlZ3VyYW7Dp2EsIGJhY2stdXAgZSBwcmVzZXJ2YcOnw6NvLgoKVm9jw6ogZGVjbGFyYSBxdWUgYSBzdWEgcHVibGljYcOnw6NvIMOpIG9yaWdpbmFsIGUgcXVlIHZvY8OqIHRlbSBvIHBvZGVyIGRlIGNvbmNlZGVyIG9zIGRpcmVpdG9zIGNvbnRpZG9zIG5lc3RhIGxpY2Vuw6dhLiBWb2PDqiB0YW1iw6ltIGRlY2xhcmEgcXVlIG8gZGVww7NzaXRvIGRlIHN1YSBwdWJsaWNhw6fDo28gbsOjbywgcXVlIHNlamEgZGUgc2V1IGNvbmhlY2ltZW50bywgaW5mcmluZ2UgZGlyZWl0b3MgYXV0b3JhaXMgZGUgbmluZ3XDqW0uCgpDYXNvIGEgc3VhIHB1YmxpY2HDp8OjbyBjb250ZW5oYSBtYXRlcmlhbCBxdWUgdm9jw6ogbsOjbyBwb3NzdWkgYSB0aXR1bGFyaWRhZGUgZG9zIGRpcmVpdG9zIGF1dG9yYWlzLCB2b2PDqiBkZWNsYXJhIHF1ZSBvYnRldmUgYSBwZXJtaXNzw6NvIGlycmVzdHJpdGEgZG8gZGV0ZW50b3IgZG9zIGRpcmVpdG9zIGF1dG9yYWlzIHBhcmEgY29uY2VkZXIgYW8gUmVwb3NpdMOzcmlvIEluc3RpdHVjaW9uYWwgZGEgVUZNRyBvcyBkaXJlaXRvcyBhcHJlc2VudGFkb3MgbmVzdGEgbGljZW7Dp2EsIGUgcXVlIGVzc2UgbWF0ZXJpYWwgZGUgcHJvcHJpZWRhZGUgZGUgdGVyY2Vpcm9zIGVzdMOhIGNsYXJhbWVudGUgaWRlbnRpZmljYWRvIGUgcmVjb25oZWNpZG8gbm8gdGV4dG8gb3Ugbm8gY29udGXDumRvIGRhIHB1YmxpY2HDp8OjbyBvcmEgZGVwb3NpdGFkYS4KCkNBU08gQSBQVUJMSUNBw4fDg08gT1JBIERFUE9TSVRBREEgVEVOSEEgU0lETyBSRVNVTFRBRE8gREUgVU0gUEFUUk9Dw41OSU8gT1UgQVBPSU8gREUgVU1BIEFHw4pOQ0lBIERFIEZPTUVOVE8gT1UgT1VUUk8gT1JHQU5JU01PLCBWT0PDiiBERUNMQVJBIFFVRSBSRVNQRUlUT1UgVE9ET1MgRSBRVUFJU1FVRVIgRElSRUlUT1MgREUgUkVWSVPDg08gQ09NTyBUQU1Cw4lNIEFTIERFTUFJUyBPQlJJR0HDh8OVRVMgRVhJR0lEQVMgUE9SIENPTlRSQVRPIE9VIEFDT1JETy4KCk8gUmVwb3NpdMOzcmlvIEluc3RpdHVjaW9uYWwgZGEgVUZNRyBzZSBjb21wcm9tZXRlIGEgaWRlbnRpZmljYXIgY2xhcmFtZW50ZSBvIHNldSBub21lKHMpIG91IG8ocykgbm9tZXMocykgZG8ocykgZGV0ZW50b3IoZXMpIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBkYSBwdWJsaWNhw6fDo28sIGUgbsOjbyBmYXLDoSBxdWFscXVlciBhbHRlcmHDp8OjbywgYWzDqW0gZGFxdWVsYXMgY29uY2VkaWRhcyBwb3IgZXN0YSBsaWNlbsOnYS4KCg==Repositório InstitucionalPUBhttps://repositorio.ufmg.br/oaiopendoar:2020-01-21T06:27:24Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false
|