An alternative characterisation of universal cells in opetopic n-categories
Category Theory
2007-05-23 v1
Abstract
We address the fact that composition in an opetopic weak n-category is in general not unique and hence is not a well-defined operation. We define composition with a given k-cell in an n-category by a span of (n-k)-categories. We characterise such a cell as universal if its composition span gives an equivalence of (n-k)-categories.
Cite
@article{arxiv.math/0304286,
title = {An alternative characterisation of universal cells in opetopic n-categories},
author = {Eugenia Cheng},
journal= {arXiv preprint arXiv:math/0304286},
year = {2007}
}
Comments
16 pages