泛态射范畴及其Recollement构造

证明了泛态射范畴是一个Abelian范畴,并通过一般Abelian范畴之间的recollement及其比较函子构造出泛态射范畴的recollement.

泛态射泛态射范畴 Abelian范畴 universal arrow universal arrow category Abelian category