2017/11/21 by Kyle Raftogianis, Raftogianis, Kyle
Mathematics · Medicine · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Pituitary Gland Disorders and Treatments
paper · pdf · doi:10.48550/arxiv.1711.07958
openalex publication_date 2017/11/21 · openalex created_date 2022/08/30 · openalex updated_date 2026/07/28
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.