Exit paths and constructible stacks

Abstract

For a Whitney stratification S of a space X (or more generally a topological stratification in the sense of Goresky and MacPherson) we introduce the notion of an S-constructible stack of categories on X. The motivating example is the stack of S-constructible perverse sheaves. We introduce a 2-category $E{P}_{\le 2}(X,S)$, called the exit-path 2-category, which is a natural stratified version of the fundamental 2-groupoid. Our main result is that the 2-category of S-constructible stacks on X is equivalent to the 2-category of 2-functors from $E{P}_{\le 2}(X,S)$ to the 2-category of small categories.

Cited by in corpus (9)

• Categorified Reeb Graphs
• Spaces of smooth embeddings and configuration categories
• A stable infinity-category of Lagrangian cobordisms
• Local cohomology and stratification
• Discrete Morse theory and localization
• Persistent Local Systems
• The stratified homotopy type of the reductive Borel-Serre compactification
• Homotopy theory of stratified spaces
• Crepant resolutions of stratified varieties via gluing