Talk 2: Stratified spaces and constructivle sheaves

Introduce the notion of a stratified space over a poset and morphisms be-tween them [Hai24, Section 1.2], [AFR19, Section 1.1]. Quickly recall the six functor formalism of sheaves on (nice) topological spaces. Introduce the category of constructible sheaves on a stratified space and explain its compatibility with ∗- and !-functors [HPT26, Section 2.2 and 2.5]. Mention that later we will mostly be interested in those with perfect stalks [HPT26, Notation 4.1.1]. Introduce the exit path category and state [Lur17, The-orem A.3.2] [PT26, Theorem 2]. More classical literature on this subject can for example be found in [Dim04, Section 4].