饱和有向空间
摘要：定向拓扑是标准拓扑的一种改进，其中空间可以具有非可逆路径。它曾被提出作为并发进程分析的候选方法。最近，已经提出了许多不同的定向空间框架。在本文中，我们从Grandis提出的定向空间概念出发，提出了一种对于路径集合的饱和条件，并展示了这如何排除奇异的例子而不造成任何严重的副作用。我们的饱和条件在自然意义下是局部的，并满足定向区间（和定向圆）的条件。此外，我们展示了在哪种意义下它是满足这两个基本要求的最强的条件。我们的饱和条件选择了Grandis的d-空间范畴的一个完整的、具备反射的子范畴，该子范畴在任意极限下都是封闭的，具有任意余极限（通过饱和相应的d-空间的余极限获得），并且具有很好的圆柱和共圆构造。最后，忘却函子到普通拓扑空间具有右伴随和左伴随。
作者：Andr''e Hirschowitz (JAD), Michel Hirschowitz (LIX, CEA LIST), Tom Hirschowitz (LAMA)
论文ID：1212.1074
分类：General Topology
分类简称：math.GN
提交时间：2012-12-06