Submitted by Charles dos Anjos Moreira null (charles.anjos@hotmail.com) on 2017-11-30T00:05:25Z No. of bitstreams: 1 Versão Final - Charles dos Anjos Moreira.pdf: 1350502 bytes, checksum: bbaf5a250d792183c0b0e14bfc5f34dd (MD5) / Approved for entry into archive by Adriana Aparecida Puerta null (dripuerta@rc.unesp.br) on 2017-11-30T12:32:37Z (GMT) No. of bitstreams: 1 moreira_ca_me_rcla.pdf: 1350502 bytes, checksum: bbaf5a250d792183c0b0e14bfc5f34dd (MD5) / Made available in DSpace on 2017-11-30T12:32:37Z (GMT). No. of bitstreams: 1 moreira_ca_me_rcla.pdf: 1350502 bytes, checksum: bbaf5a250d792183c0b0e14bfc5f34dd (MD5) Previous issue date: 2017-11-01 / Esse trabalho trata de elementos da Topologia Algébrica, a qual tem como fundamental aplicação abordar questões acerca de Espaços Topológicos sob o ponto de vista algébrico. Uma das questões é tentar responder se dois espaços topológicos X e Y são homeomorfos. Neste sentido, o grupo fundamental é uma ferramenta algébrica útil por se tratar de um invariante topológico. Além disso, apresentamos o Teorema de van Kampen do ponto de vista da Linguagem de Categorias e Funtores. / This work treats of elements of the Algebraic Topology, which has as fundamental application to approach subjects concerning Topological Spaces under the algebraic point of view. One of the subjects is to try to answer if two topological spaces X and Y are homeomorphics. In this sense, the fundamental group is an useful algebraic tool for treating of an topological invariant. In addition, we presented the van Kampen's Theorem of the point of view of the language of Categories and Functors.

O presente trabalho é uma apresentação de aplicações de estruturas da álgebra de dimensões altas para a teoria de homotopia. Mais precisamente mostramos que existe uma equivalência entre as categorias dos cat$^n$-grupos e a dos $n$-cubos cruzados de grupos, ambas equivalentes a categoria das $n$-categorias estritas internas à categoria de grupos, e uma certa subcategoria da categoria dos $n$-cubos fibrantes, os chamados $n$-cubos de Eilenberg-MacLane. Além disso existe uma equivalência entre uma localização dessa subcategoria e a categoria homotópica dos $(n+1)$-tipos homotópicos, o que sugere a utilidade de usar as estruturas algébricas apresentadas como invariantes topológicas. O teorema central dessa teoria, o teorema generalizado de Seifert-van Kampen, diz que o funtor dos $n$-cubos de fibração aos cat$^n$-grupos usado para mostrar a equivalência mencionada preserva o colimite de certos diagramas e que nesses casos conectividade é preservada, o que permite certas computações. Apresentaremos definições das estruturas algébricas mencionadas além de como calcular certos colimites na categoria de $n$-cubos cruzados de grupos, demonstraremos os teoremas principais da teoria e mostramos como usar esses resultados para generalizar resultados clássicos da topologia algébrica como o teorema de Blakers-Massey, o teorema de Hurewicz e a fórmula de Hopf para homologia de grupos. / The present work is a presentation of applications to homotopy theory of structures in higher dimensional algebra. More precisely we show how the categories of crossed $n$-cubes of groups and of cat$^n$-groups, both equivalent to the category of strict $n$-categories internal to the category of groups, are equivalent to a subcategory of the category of fibrant $n$-cubes, namely the Eilenberg-MacLane $n$-cubes. There is also an equivalence between a localization of the category of Eilenberg-MacLane $n$-cubes and the homotopy category of homotopy $(n+1)$-types, which suggests the usefulness of the presented algebraic structures as topological invariants. The central theorem of this theory, the generalized Seifert-van Kampen theorem, states that the functor from $n$-cube of fibrations to the cat$^n$-groups used to show the aforementioned equivalence preserves the colimit of certain diagrams, and in these cases connectivity is preserved, which permits some computations. We present definitions of the relevant algebraic structures and also how to calculate certain colimits in the category of crossed $n$-cubes of groups, we demonstrate the main theorems of the theory and then we show how to generalize classical results in algebraic topology like the Blakers-Massey theorem, Hurewicz theorem and Hopf\'s formula for the homology of groups.

O presente trabalho é uma apresentação de aplicações de estruturas da álgebra de dimensões altas para a teoria de homotopia. Mais precisamente mostramos que existe uma equivalência entre as categorias dos cat$^n$-grupos e a dos $n$-cubos cruzados de grupos, ambas equivalentes a categoria das $n$-categorias estritas internas à categoria de grupos, e uma certa subcategoria da categoria dos $n$-cubos fibrantes, os chamados $n$-cubos de Eilenberg-MacLane. Além disso existe uma equivalência entre uma localização dessa subcategoria e a categoria homotópica dos $(n+1)$-tipos homotópicos, o que sugere a utilidade de usar as estruturas algébricas apresentadas como invariantes topológicas. O teorema central dessa teoria, o teorema generalizado de Seifert-van Kampen, diz que o funtor dos $n$-cubos de fibração aos cat$^n$-grupos usado para mostrar a equivalência mencionada preserva o colimite de certos diagramas e que nesses casos conectividade é preservada, o que permite certas computações. Apresentaremos definições das estruturas algébricas mencionadas além de como calcular certos colimites na categoria de $n$-cubos cruzados de grupos, demonstraremos os teoremas principais da teoria e mostramos como usar esses resultados para generalizar resultados clássicos da topologia algébrica como o teorema de Blakers-Massey, o teorema de Hurewicz e a fórmula de Hopf para homologia de grupos. / The present work is a presentation of applications to homotopy theory of structures in higher dimensional algebra. More precisely we show how the categories of crossed $n$-cubes of groups and of cat$^n$-groups, both equivalent to the category of strict $n$-categories internal to the category of groups, are equivalent to a subcategory of the category of fibrant $n$-cubes, namely the Eilenberg-MacLane $n$-cubes. There is also an equivalence between a localization of the category of Eilenberg-MacLane $n$-cubes and the homotopy category of homotopy $(n+1)$-types, which suggests the usefulness of the presented algebraic structures as topological invariants. The central theorem of this theory, the generalized Seifert-van Kampen theorem, states that the functor from $n$-cube of fibrations to the cat$^n$-groups used to show the aforementioned equivalence preserves the colimit of certain diagrams, and in these cases connectivity is preserved, which permits some computations. We present definitions of the relevant algebraic structures and also how to calculate certain colimits in the category of crossed $n$-cubes of groups, we demonstrate the main theorems of the theory and then we show how to generalize classical results in algebraic topology like the Blakers-Massey theorem, Hurewicz theorem and Hopf\'s formula for the homology of groups.