The fundamental category of a stratified space
Jonathan Woolf

TL;DR
This paper extends the concept of the fundamental category from stratified spaces to homotopically stratified sets, enabling classification of constructible sheaves and cosheaves, simplifying computations, and applying to symmetric products of R^2.
Contribution
It generalizes Treumann's fundamental category construction to homotopically stratified sets, removing technical conditions and simplifying calculations.
Findings
Classifies constructible sheaves and cosheaves via the fundamental category.
Reduces computation to the two stratum case using homotopy groups.
Computes the fundamental category of symmetric products of R^2.
Abstract
The fundamental groupoid of a locally 0 and 1-connected space classifies covering spaces, or equivalently local systems. When the space is topologically stratified Treumann, based on unpublished ideas of MacPherson, constructed an `exit category' (in the terminology of this paper, the `fundamental category') which classifies constructible sheaves, equivalently stratified etale covers. This paper generalises this construction to homotopically stratified sets, in addition showing that the fundamental category dually classifies constructible cosheaves, equivalently stratified branched covers. The more general setting has several advantages. It allows us to remove a technical `tameness' condition which appears in Treumann's work; to show that the fundamental groupoid can be recovered by inverting all morphisms and, perhaps most importantly, to reduce computations to the two stratum case.…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Algebraic structures and combinatorial models · Topological and Geometric Data Analysis
