形式复合三范畴及其严格化
范畴论
2019-03-15 v1
摘要
本论文的结果使得人们能够在Gray范畴(亦称半严格三范畴)中进行等价计算,以替代在三范畴中的计算。特别地,例如在线证明辅助工具globular (arXiv:1612.01093)所用的Gray范畴重写演算,或等价地arXiv:1211.0529中的Gray图,随后也可用于完全弱三范畴的情形。
引用
@article{arxiv.1903.05777,
title = {The tricategory of formal composites and its strictification},
author = {Peter Guthmann},
journal= {arXiv preprint arXiv:1903.05777},
year = {2019}
}