A talk on October 11, 2023 at The Graduate Center
Abstract: The idea of 'Homotopy theories' was introduced by Heller in his seminal paper from 1988. Two years later, Grothendieck discovered the theory of derivators (1990), exposed in his late manuscript Les Dérivateurs, and developed further by several authors. Essentially, there are no significant differences between Heller's homotopy theories and Grothendieck's derivators. They are tautologically the same 2-categorical yoga. However, they come from distinct motivations. For Heller, derivators should be a definitive answer to the question "What is a homotopy theory?", while for Grothendieck, who was strongly inspired by topos cohomology, the first main motivation for derivators was to surpass some technical deficiencies that appeared in the theory of triangulated categories. Indeed, Grothendieck designed the axioms of derivators in light of a certain 2-functorial construction, which associates the corresponding (abelian) derived category to each topos, and more importantly, inverse and direct cohomological images to each geometric morphism. It was from this 2-functorial construction, from where topos cohomology arises, that Grothendieck discovered the axioms of derivators, which are surprisingly the same as Heller's homotopy theories. Nowadays, it is commonly accepted that a homotopy theory is a quasi-category, and they can all be presented by a localizer (M,W), i.e., a couple composed by a category M and a class of arrows in W. This point of view is not so far from Heller, since pre-derivators, quasi-categories, and localizers, are essentially equivalent as an answer to the question "What is a homotopy theory?". In my talk, I will expose these subjects in more detail, and I am also going to explore how to internalize a homotopy theory in an arbitrary (Grothendieck) topos, a problem which strongly relates formal logic and homotopical algebra.
Slides:
www.sci.brookly...
Негізгі бет Thiago Alexandre --- Internal homotopy theories.
Пікірлер: 2