搜索结果: 1-1 共查到“范畴论 quotient completion”相关记录1条 . 查询时间(0.073 秒)
We extend the notion of exact completion on a weakly lex category to elementary doctrines. We show how any such doctrine admits an elementary quotient completion, which freely adds effective quotients...