Cat中同伦代数的余极限分解
范畴论
2022-01-31 v2
摘要
Badzioch证明了在单纯集范畴中，Lawvere理论的每个同伦代数都弱等价于一个严格代数。为了将此结果推广到其他上下文，Rosicky观察到关键点在于单纯集中的每个同伦余极限都可以分解为有限余积的同伦筛余极限，并询问作者在范畴的2-范畴Cat中是否存在类似的分解。本文的目的就是证明确实如此。
引用
@article{arxiv.1206.1203,
title = {A colimit decomposition for homotopy algebras in Cat},
author = {John Bourke},
journal= {arXiv preprint arXiv:1206.1203},
year = {2022}
}
备注
Some notation changed; small amount of exposition added in intro