Polyhedral monadicity of n-groupoids and standardized adjunction

AbstractThe problem of n-categorical pasting has received different answers of a geometrico-combinatorial nature. In the case of n-groupoids, this question received here a more synthetical and “geometrico-algebraic” answer, in the form of a monadicity theorem

Simplicial and Dendroidal Homotopy Theory

This open access book offers a self-contained introduction to the homotopy theory of simplicial and dendroidal sets and spaces. These are essential for the study of categories, operads, and algebraic structure up to coherent homotopy. The dendroidal theory combines the combinatorics of trees with the theory of Quillen model categories. Dendroidal sets are a natural generalization of simplicial sets from the point of view of operads. In this book, the simplicial approach to higher category theory is generalized to a dendroidal approach to higher operad theory. This dendroidal theory of higher operads is carefully developed in this book. The book also provides an original account of the more established simplicial approach to infinity-categories, which is developed in parallel to the dendroidal theory to emphasize the similarities and differences. Simplicial and Dendroidal Homotopy Theory is a complete introduction, carefully written with the beginning researcher in mind and ideally suited for seminars and courses. It can also be used as a standalone introduction to simplicial homotopy theory and to the theory of infinity-categories, or a standalone introduction to the theory of Quillen model categories and Bousfield localization

On the equivalence between Lurie's model and the dendroidal model for infinity-operads

© 2016 Elsevier Inc.We compare two approaches to the homotopy theory of ∞-operads. One of them, the theory of dendroidal sets, is based on an extension of the theory of simplicial sets and ∞-categories which replaces simplices by trees. The other is based on a certain homotopy theory of marked simplicial sets over the nerve of Segal's category Γ. In this paper we prove that for operads without constants these two theories are equivalent, in the precise sense of the existence of a zig-zag of Quillen equivalences between the respective model categories

Three Hopf algebras from number theory, physics & topology, and their common background I: operadic & simplicial aspects

We consider three a priori totally different setups for Hopf algebras from number theory, mathematical physics and algebraic topology. These are the Hopf algebra of Goncharov for multiple zeta values, that of Connes-Kreimer for renormalization, and a Hopf algebra constructed by Baues to study double loop spaces. We show that these examples can be successively unified by considering simplicial objects, co-operads with multiplication and Feynman categories at the ultimate level. These considerations open the door to new constructions and reinterpretations of known constructions in a large common framework, which is presented step-by-step with examples throughout. In this first part of two papers, we concentrate on the simplicial and operadic aspects.Comment: This replacement is part I of the final version of the paper, which has been split into two parts. The second part is available from the arXiv under the title "Three Hopf algebras from number theory, physics & topology, and their common background II: general categorical formulation" arXiv:2001.0872