la_3里的始对象与终对象。
纤维积与纤维余积.令formula_12为离散范畴（即：其间只有恆等态射），此时归纳及射影系统不外只是一族formula_3的对象formula_38，对应的归纳极限及射影极限称作余积（又称上积）与积。令formula_12为范畴formula_40；设formula_14对应于formula_42。若其归纳极限存在，称之formula_43对formula_44的纤维余积，写作formula_45。对偶地看，对于formula_46，对应于f