群胚的切片具有类群性质

给定一个范畴，可以构造它的切片。即，构建一个新范畴，其对象为该范畴中以固定陪域为靶态射的态射，其态射为某些交换三角形。若该范畴是一个群胚，从而每个态射均可逆，则它的切片是（连通的）群胚。我们给出若干构造，表明群胚的切片比其来源群胚具有更接近群的性质。这些构造包括核与自然定义的陪集空间等概念。