Related papers: A finitely presented ${E}_{\infty}$-prop II: cellu…
We define the notion of Cartesian 2-fibrations, and prove a weak analogue of straightening. Using Barwick's notion of operator categories and the notion of a Cartesian 2-fibration, we extend the notion of $\infty$-operads to the…
The (A)CGW categories of Campbell and Zakharevich show how finite sets and varieties behave like the objects of an exact category for the purpose of algebraic $K$-theory. These structures admit a well-behaved Q-construction akin to…
We study the structure of the abelian category of modules for the triplet $W$-algebra $\mathcal{W}_{p_+,p_-}$. Using the logarithmic deformation by Fjelstad et al.(2002), we construct logarithmic $\mathcal{W}_{p_+,p_-}$-modules that have…
We prove new structural results for the rational homotopy type of the classifying space $B\operatorname{aut}(X)$ of fibrations with fiber a simply connected finite CW-complex $X$. We first study nilpotent covers of $B\operatorname{aut}(X)$…
In this paper, we construct a model structure for $(\infty,1)$-categories on the category of simplicial spaces, whose fibrant objects are the Segal spaces. In particular, we show that it is Quillen equivalent to the models of…
We give a fully constructive proof that there is a proper cartesian $\omega$-combinatorial model structure on the category of simplicial sets, whose generating cofibrations and trivial cofibrations are the usual boundary inclusion and horn…
We give a general method for constructing explicit and natural operations on the Hochschild complex of algebras over any PROP with $A_\infty$--multiplication---we think of such algebras as $A_\infty$--algebras "with extra structure". As…
For $E$ a Hilbert space, let $\mathcal{H}(E)$ denote the Segal-Bargmann space (also known as the Fock space) over $E$, which is a reproducing kernel Hilbert space with kernel $K(x,y)=\exp(< x,y>)$ for $x,y$ in $E$. If $\phi$ is a mapping on…
This is the last part of a series of articles on a family of geometric structures (PACS-structures) which all have an underlying almost conformally symplectic structure. While the first part of the series was devoted to the general study of…
Algebra objects in $\infty$-categories of spans admit a description in terms of $2$-Segal objects. We introduce a notion of span between $2$-Segal objects and extend this correspondence to an equivalence of $\infty$-categories.…
The notion of pseudocategory, as considered in [11], is extended from the context of a 2-category to the more general one of a sesquicategory, which is considered as a category equipped with a 2-cell structure. Some particular examples of…
We define a new notion of an algebraic model structure, in which the cofibrations and fibrations are retracts of coalgebras for comonads and algebras for monads, and prove "algebraic" analogs of classical results. Using a modified version…
We show that, in a highest weight category with duality, the endomorphism algebra of a tilting object is naturally a cellular algebra. Our proof generalizes a recent construction of Andersen, Stroppel, and Tubbenhauer. This result raises…
Waldhausen's $S_\bullet$-construction gives a way to define the algebraic $K$-theory space of a category with cofibrations. Specifically, the $K$-theory space of a category with cofibrations $\mathcal{C}$ can be defined as the loop space of…
We exhibit a bridge between the theory of cellular categories, used in algebraic topology and homological algebra, and the model-theoretic notion of stable independence. Roughly speaking, we show that the combinatorial cellular categories…
We provide a general method for finding all natural operations on the Hochschild complex of E-algebras, where E is any algebraic structure encoded in a prop with multiplication, as for example the prop of Frobenius, commutative or…
In recent years it has been noted that a number of combinatorial structures such as real and complex hyperplane arrangements, interval greedoids, matroids and oriented matroids have the structure of a finite monoid called a left regular…
For a finitely-generated vertex operator algebra of central charge c, a locally convex topological completion is constructed. We construct on the completion a structure of an algebra over the operad of the c/2-th power of the determinant…
Werner's set-theoretical model is one of the most intuitive models of ECC. It combines a functional view of predicative universes with a collapsed view of the impredicative sort Prop. However this model of Prop is so coarse that the…
We develop a cofibrantly generated model category structure in the category of topological spaces in which weak equivalences are A-weak equivalences and such that the generalized CW(A)-complexes are cofibrant objects. With this structure…