Showing 1–1 of 1 results for author: Raftogianis, K

Operations in Leinster's Weak $ω$-Category Operad

Authors: Kyle Raftogianis

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. 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. △ Less

Submitted 21 November, 2017; originally announced November 2017.