From model to quasi-categories

Abstract

Esta dissertação é uma humilde introdução a grandes ferramentas da teoria da homotopia abstrata: categorias modelo e ∞-categorias (através de quasicategorias). A primeira parte do texto apresenta estas estruturas, conectando com diversos tópicos de teoria das categorias, teoria da homotopia clássica e álgebra homológica. Na segunda parte, usamos este ferramental para estudar questões internas à própria teoria da homotopia, e para comparar essas duas linguagens que estudamos através da localização simplicial.