Kan、弱泛与强泛导出函子的比较定理
代数拓扑
2021-09-28 v1
摘要
我们区分了范畴在态射族上的弱、弱（weak）、强与严格局部化，并表明该框架涵盖了文献中所考虑的不同类型的导出函子。更确切地说，我们证明了当使用经典 Kan 同伦范畴时，Kan 与弱（faint）导出函子一致；而当使用 Quillen 同伦范畴时，Kan 与强导出函子一致。我们的比较结果基于如下事实：Kan 同伦范畴是一个弱局部化，而 Quillen 同伦范畴是一个严格局部化。
引用
@article{arxiv.2109.12392,
title = {Comparison theorems for Kan, faintly universal and strongly universal derived functors},
author = {Alisa Govzmann and Damjan Pištalo and Norbert Poncin},
journal= {arXiv preprint arXiv:2109.12392},
year = {2021}
}