Wiki. 层化 [层化]

观念

层化是层范畴到预层范畴的嵌入的左伴随.