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 EP≤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 2Funct(EP≤2(X,S),Cat) from the exit-path 2-category to the 2-category of small categories.

[1]  Tom Braden,et al.  Perverse sheaves on rank stratifications , 1999 .

[2]  Bertrand Toën.  Vers une interprétation galoisienne de la théorie de l'homotopie , 2002 .

[3]  L. Siebenmann,et al.  Deformation of homeomorphisms on stratified sets , 1972 .

[4]  John W. Gray,et al.  Formal category theory: adjointness for 2-categories , 1974 .

[5]  R. Street,et al.  Review of the elements of 2-categories , 1974 .

[6]  Perverse sheaves, Koszul IC-modules, and the quiver for the category O , 2003, math/0309247.

[7]  S. Lane.  Categories for the Working Mathematician , 1971 .

[8]  René Thom,et al.  Ensembles et morphismes stratifiés , 1969 .

[9]  Angelo Vistoli.  Notes on Grothendieck topologies, fibered categories and descent theory , 2004 .

[10]  David Treumann.  Stacks similar to the stack of perverse sheaves , 2008, 0801.3016.

[11]  R. Macpherson,et al.  Perverse sheaves and quivers , 1996 .

[12]  J. Milnor.  Two Complexes Which are Homeomorphic But Combinatorially Distinct , 1961 .

[13]  L. Breen.  On the classification of 2-gerbes and 2-stacks , 1994 .

[14]  F. Quinn.  Homotopically stratified sets , 1988 .

[15]  J. Mather,et al.  Stratifications and Mappings , 1973 .

[16]  Higher Monodromy , 2004, math/0407507.

[17]  R. Macpherson,et al.  Elementary construction of perverse sheaves , 1986 .

[18]  Monique Hakim,et al.  Topos annelés et schémas relatifs , 1972 .

[19]  Perverse Sheaves on Grassmannians , 1999, Canadian Journal of Mathematics.

[20]  M. Goresky,et al.  Intersection homology II , 1983 .

[21]  A. Grothendieck.  Revetements etales et groupe fondamental , 1971 .

[22]  G. M. Kelly,et al.  BASIC CONCEPTS OF ENRICHED CATEGORY THEORY , 2022, Elements of ∞-Category Theory.