Related papers: Spaces of Operad Structures
Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. Although it can be treated purely as an algebraic subject, it is inherently topological in nature: the…
Curved algebras are a generalization of differential graded algebras which have found numerous applications recently. The goal of this foundational article is to introduce the notion of a curved operad, and to develop the operadic calculus…
We study the notion of a bifibration in simplicial sets which generalizes the classical notion of two-sided discrete fibration studied in category theory. If $A$ and $B$ are simplicial sets we equip the category of simplicial sets over…
We define an operad in Top, called $\text{FM}_2^W$. The spaces in $\text{FM}_2^W$ come with CW decompositions, such that the operad compositions are cellular. In fact, each space in $\text{FM}_2^W$ is the realization of a simplicial set. We…
There are basically two interesting breeds of $E_2$ operads, those that detect loop spaces and those that solve Deligne's conjecture. The former deformation retract to Milgram's space obtained by gluing together permutahedra at their faces.…
We develop the theory of derived differential geometry in terms of bundles of curved $L_\infty[1]$-algebras, i.e. dg manifolds of positive amplitudes. We prove the category of derived manifolds is a category of fibrant objects. Therefore,…
The main objective of this paper is to construct a symmetric monoidal closed model category of coherently commutative monoidal quasi-categories. We construct another model category structure whose fibrant objects are (essentially) those…
We construct a generalization of the Day convolution tensor product of presheaves that works for certain double $\infty$-categories. Using this construction, we obtain an $\infty$-categorical version of the well-known description of…
We study a pair of dual operads which arise in the study of moduli spaces of pointed genus 0 curves (this duality is similar to that between commutative and Lie algebras). These operads are both quadratic, and even Koszul, and arise in the…
We provide a categorical framework for mathematical objects for which there is both a sort of "independent" and "dependent" composition. Namely we model them as duoidal categories in which both monoidal structures share a unit and the first…
Algebraic structures with multiple copies of a given type of operations interrelated by various compatibility conditions have long being studied in mathematics and mathematical physics. They are broadly referred as linearly compatible,…
This paper explores the relationship amongst the various simplicial and pseudo-simplicial objects characteristically associated to any bicategory C. It proves the fact that the geometric realizations of all of these possible candidate…
We axiomatize the extended operators in topological orders (possibly gravitationally anomalous, possibly with degenerate ground states) in terms of monoidal Karoubi-complete $n$-categories which are mildly dualizable and have trivial…
Thomason's Homotopy Colimit Theorem has been extended to bicategories and this extension can be adapted, through the delooping principle, to a corresponding theorem for diagrams of monoidal categories. In this version, we show that the…
Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any…
We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…
Both simplicial sets and simplicial spaces are used pervasively in homotopy theory as presentations of spaces, where in both cases we extract the "underlying space" by taking geometric realization. We have a good handle on the category of…
The notion of reparametrization category is incorrectly axiomatized and it must be adjusted. It is proved that for a general reparametrization category $\mathcal{P}$, the tensor product of $\mathcal{P}$-spaces yields a biclosed semimonoidal…
We establish, by elementary means, the existence of a cofibrantly generated monoidal model structure on the category of operads. By slicing over a suitable operad the classical Rezk model structure on the category of small categories is…
From a map of operads $\eta : O\rightarrow O'$, we introduce a cofibrant replacement of the operad $O$ in the category of bimodules over itself such that the corresponding model of the derived mapping space of bimodules…