Exit paths and constructible stacks

Understand

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 $EP_{\leq 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 $EP_{\leq 2}(X,S)$ to the 2-category of small categories.