跳转到内容

滤子化范畴

维基百科,自由的百科全书

范畴论中,若一个范畴满足下列条件,则称它是滤子化的(filtrantfiltered):

  • 非空。
  • 对任意对象,存在对象及态射
  • 对任两个态射,存在对象及态射,使得

以滤子化范畴为索引的上极限称作滤子化上极限,它带有良好的性质。

是滤子化范畴,则称是上滤子化的(cofiltrantcofiltered),以其为索引的极限称作上滤子化极限