百科. “弱充实范畴” [弱充实范畴]