退出路径与可构造叠

对于空间 X 的惠特尼分层 S（或更一般地，Goresky 和 MacPherson 意义下的拓扑分层），我们引入了 X 上 S-可构造范畴叠的概念。其动机性示例是 S-可构造反常层叠。我们引入了一个称为退出路径 2-范畴的 2-范畴 $EP_{\leq 2}(X,S)$，它是基本 2-群胚的自然分层版本。我们的主要结果是：X 上 S-可构造 2-范畴的 2-范畴等价于从 $EP_{\leq 2}(X,S)$ 到小范畴 2-范畴的 2-函子构成的 2-范畴。