Operations in Leinster's Weak $\omega$-Category Operad
Category Theory
2017-11-22 v1
Abstract
Batanin defines a weak -category as an algebra for a certain operad. Leinster refines this idea and defines the weak -category operad as the initial object of a category of "operads with contraction". We demonstrate how a higher category structure arises from this definition by explicitly constructing various composites, associativity and coherence laws, and an Eckmann-Hilton braiding.
Keywords
Cite
@article{arxiv.1711.07958,
title = {Operations in Leinster's Weak $\omega$-Category Operad},
author = {Kyle Raftogianis},
journal= {arXiv preprint arXiv:1711.07958},
year = {2017}
}