理论计算机科学的抽象同伦方法
代数拓扑
2007-07-11 v1 范畴论
摘要
本文旨在汇集作者在论文《并发同伦理论的模型范畴》中发起的流理论发展中所使用的同伦方法。介绍了利用弱分解系反转 CW-复形间弱同伦等价的经典 Whitehead 定理的推广。还介绍了利用 Quillen 伴随和 Reedy 范畴计算同伦极限和同伦上极限的方法。
引用
@article{arxiv.0707.1449,
title = {Abstract homotopical methods for theoretical computer science},
author = {Philippe Gaucher},
journal= {arXiv preprint arXiv:0707.1449},
year = {2007}
}
评论
16 pages; LaTeX2e; chapter of book