入，将此性质推广到概形上，则得到分离概形。
概形.概形范畴formula_89（或相对版本formula_90）有终对象formula_91（或formula_92），并存在有限的纤维积。
抽象代数.阿贝尔群范畴formula_93或一个环formula_94上的模范畴formula_95都是完备且上完备的。函子的正合性对应到交换代数里的正合性概念。射影极限的一个典型例子是p进整数：formula_96。