一些类别的余极限富集范畴注记
摘要：给定一个权重类Phi，我们研究以下类别：Phi^+是Phi平坦权重的类别，对于其中的psi，psi-余极限与基V中的Phi权重的极限交换；Phi^ - 是其对偶定义的权重psi的类别，对于其中的psi，psi-极限与基V中的Phi权重的余极限交换。我们证明了这两个类别都是饱和的（即在Albert-Kelly或Betti的覆盖术语下封闭）。我们证明对于所有权重P，P^+ = P^-。对于任意的小范畴B，我们定义了一个富集的Isbell型自然态([B,V]^op -> [B^op,V])，并且展示了它如何限制为一个(P^-(B^op))^op ~ P^-(B)之间的子范畴的等价。
作者：G.M. Kelly, V.Schmitt
论文ID：math/0501383
分类：Category Theory
分类简称：math.CT
提交时间：2007-05-23