泛态射范畴及其Recollement构造 (2013年)

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