Operations in Leinster's Weak ω-Category Operad
Raftogianis, Kyle
Original · EN
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.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.