由三范畴形成的低维结构
范畴论
2011-10-17 v2
摘要
我们将三范畴及其间的同态构造成一个双范畴，其 2-胞是某些退化的三变换。随后，我们将此双范畴丰富化为一种称为局部立方双范畴的三维结构示例，这是在伪双范畴的幺半 2-范畴中丰富的双范畴。最后，我们证明了每个行为足够良好的局部立方双范畴都会产生一个三范畴，从而推导出三范畴的三范畴的存在性。
引用
@article{arxiv.0711.1761,
title = {The low-dimensional structures formed by tricategories},
author = {Richard Garner and Nick Gurski},
journal= {arXiv preprint arXiv:0711.1761},
year = {2011}
}
评论
41 pages; v2: final journal version