Wiki. “奇异单纯集” [奇异单纯集]

奇异单纯集函子是几何实现的右伴随.