This is the homepage of Bilkent Topology seminar (Spring 2023).
This term’s seminar will be a reading seminar on higher categories co-organized by Igor Sikora and Aziz Kharoof.
Feb 6: An introduction to infinity categories (David Blanc, University of Haifa)
In studying the homotopy theory of topological spaces it soon becomes apparent that the homotopy category itself is not sufficient, since many homotopy invariants cannot be described or calculated in that category. Since there are other settings, such as the chain complexes of homological algebra, in which this holds, Quillen proposed an axiomatization of such situations in terms of model categories. However, these turn out to be too restrictive for dealing with certain questions, in particular with homotopy commutative diagrams and the invariants (such as Toda brackets) which they encode. Dwyer and Kan suggested an alternative simplicial approach, which later devolved into several independent models for what we now call infinity categories, in terms of simplicially enriched categories, simplicial spaces, quasi-categories, and others. In the talk, we will provide examples of questions best addressed in this setting, and briefly describe the form they take in the different models, as time permits.
Feb 13: Simplicial sets (Aziz)
This talk aims to introduce and recall basic notions on simplicial sets. Apart from basic definitions, we would like to discuss the following notions: weak equivalences, Kan complexes, Kan fibrations, and geometric realization. Also, the adjunction between singular simplicial set and geometric realization should be covered.
References: [H]: Section 1, [W]: Chapter 8, [F]
Feb 20: Quasicategories (Aziz)
In this talk we will introduce the first model of infinity categories, namely quasicategories. We will discuss the motivation of this definition as a generalization of the nerve of a category. Then we will define basic categorical notions in the quasi category, and the homotopy relation there, showing how we can think about morphisms and composition up to homotopy. In addition, we will show how the hom-object from object x to object y contains all the higher order morphisms from x to y and the relation between them. Later we will talk about functors and natural maps between quasicategories.
References: [H]: Section 2, [G]: Section 1.1
Feb 27: Basic constructions in quasicategories (Igor)
The goal of this talk is the discussion of the basic notions and constructions in the theory of infinity categories. We want to discuss the following constructions: the product of quasicategries, homotopy category of a quasicategory, join, slices and, most importantly, colimits and limits.
Ref: [G]: Section 2, [H]: Section 2.3
Mar 13: Model categories I - basic definitions (Mustafa)
The goal of this talk is to provide basic definitions of the theory model categories. We would like to introduce the definition of a model category and its homotopy category. In particular, this will require a discussion of fibrations, cofibrations and weak equivalences, fibrant and cofibrant objects, cylinder and path objects. Then we will proceed to the notion of left and right homotopy and define the homotopy category of a model category. The whole theory will be shown using two examples: Quillen model structure on topological spaces and Quillen model structure on simplicial sets.
Ref: [DS], [H]: Section 3
Mar 20: Model Categories II - Derived functors and Quillen adjunctions (Igor)
Having the notion of a homotopy category, we will define the notion of a derived functor. Further on, we will proceed to the idea of comparing model structures and their homotopy categories by Quillen functors. Therefore we will cover Quillen functors, Quillen adjunctions and Quillen equivalences. We will also prove that Quillen model structures on simplicial sets and topological spaces are Quillen equivalent. The talk will finish with a model structure on simplicial sets which is relevant for the theory of quasicategories, i.e., the Joyal model structure.
Ref: [DS], [H]: Section 4, 5.3 for Joyal model structure, [BS]: Section 2 for inner fibrations
Mar 27: Simplicial categories I (Igor)
In this talk, we will discuss the second model of infinity categories: categories enriched over simplicial sets. We will start with a short overview of enriched categories and follow to the simplicial categories. We will also introduce simplicial functors and the homotopy category of a simplicial category. Then we will proceed with the Bergner model structure and sketch the proof of the fact that it is indeed a model structure.
Ref: [H]:Sections 5.1,5.2, [G]: Section 1.2
Apr 3: Simplicial categories II - Dwyer-Kan localizations(Aziz)
he goal of this talk will be to understand the idea of localization of a category with respect to the class of maps and see how Dwyer-Kan localization is an example of such. Therefore we will start with the notion of a localization of a category. Then we will proceed to several approaches to the Dwyer-Kan localization - as a derived functor with specific resolution and the hammock version, that gives a constructive description of the homotopy category. We will discuss the relation of DK localization of a simplicial model category and of its homotopy category.
Ref: [H]: Section 5.4
Apr 10: Segal spaces I (Özgün)
This talk will prepare a background for the third model of infinity categories: complete Segal spaces. Therefore the following topics should be discussed: bisimplicial sets, model structures on functor categories, Reedy model structure as an example of the injective model structure and Rezk nerve of a category.
Ref: [H]: Sections 6.1-6.5, [B]: Sections 4,5
Apr 17: Talk by Bob Oliver (not part of the reading seminar)
Apr 24: Segal spaces II (Igor)
In this talk, we will continue introducing the third model of infinity categories: complete Segal spaces. The following notions will be covered: Segal spaces, homotopy category of Segal spaces, completeness of Segal spaces and CSS model structure.
Ref: [H]: Sections 6.6-6.9, [B]: Sections 4,5
May 2 (Tue)^{1}: The Homotopy Coherent Nerve (Redi)
In this talk, we aim to understand the equivalences between two different models of infinity-categories: Simplicial categories and quasi-categories. We will define the homotopy coherent nerve as a functor from simplicial categories to simplicial sets, construct its left adjoint, and we will show how this gives us a Quillen equivalence between the described model categories.
Ref: [H]: Section 6.10, [B]: Section 7
May 8 or 15: Last talk of the reading seminar
[B] J. Bergner, A survey of (infty,1) Categories
[BS] C. Barwick, J. Shah, Fibrations in infty-Category Theory
[DS] W. G. Dwyer and J. Spalinski, Homotopy theories and model categories
[F] G. Friedman, An elementary illustrated introduction to simplicial sets
[G] M. Groth, A Short Course on Infinity Categories
[H] V. Hinich, Lectures on Infinity categories
[W] C. Weibel, An introduction to homological algebra
Charles Rezk, Introduction to quasicategories
Kerodon website
D. Dugger, A Primer on Homotopy Colimits
May 1 is holiday. ↩