论文标题
在路径类别中的同型指数上
On homotopy exponentials in path categories
论文作者
论文摘要
在本文的第一部分中，我们表明路径类别以与合适的2类路径类别兼容的方式相对于群体固定。在第二部分中，我们引入了一个新的同型指数和同型PI-Type的概念。我们证明了他们的一些基本特性，以及两个重要的技术主张。本文第二部分中的结果主要是使用第一部分中建立的路径类别的群体富集获得的。
In the first part of this paper we show that path categories are enriched over groupoids, in a way that is compatible with a suitable 2-category of path categories. In the second part we introduce a new notion of homotopy exponential and homotopy Pi-type for path categories, the strong homotopy exponential and the strong homotopy Pi-type. We prove some of their basic properties, along with two important technical propositions. The results in the second part of this paper are mostly obtained using the groupoid enrichment of path categories established in the first part.
