Related papers: The $n$-fold reduced bar construction

By using the loop orbifold of the symmetric product, we give a formula for the Poincar\'e polynomial of the free loop space of the Borel construction of the symmetric product. We also show that the Chas-Sullivan product structure in the…

The first author proved in a previous paper that the n-fold bar construction for commutative algebras can be generalized to E_n-algebras, and that one can calculate E_n-homology with trivial coefficients via this iterated bar construction.…

Differential categories were introduced to provide a minimal categorical doctrine for differential linear logic. Here we revisit the formalism and, in particular, examine the two different approaches to defining differentiation which were…

We introduce systems of objects and operators in linear monoidal categories called $\hat \Psi$-systems. A $\hat \Psi$-system satisfying several additional assumptions gives rise to a topological invariant of triples (a closed oriented…

In this work, we analyze the structure of the category of partial representations of a finite group $G$ as a multifusion category, providing an alternative way to describe simple objects and their tensor products. We describe the…

Simplicial versions of topological abelian gauge theories are constructed which reproduce the continuum expressions for the partition function and Wilson expectation value of linked loops, expressible in terms of R-torsion and linking…

We give a homotopy equivalence for the loop space of the moment-angle complex associated with a simplicial complex formed by the polyhedral join operation, and give necessary conditions for this loop space to be a finite type product of…

We proved in a previous article that the bar complex of an E-infinity algebra inherits a natural E-infinity algebra structure. As a consequence, a well-defined iterated bar construction B^n(A) can be associated to any algebra over an…

This paper is the first part in a 2 part study of an elementary functorial construction from the category of finite non-abelian groups to a category of singular compact, oriented 2-manifolds. After a desingularization process this…

The purpose of this paper is to study the derived category of simplicial multicategories with arbitrary sets of objects (also known as, colored operads in simplicial sets). Our main result is a derived Morita theory for operads-where we…

For a given twisted cartesian products of simplicial sets, we construct the corresponding twisted tensor product in the sense of Brown, with an explicit twisting function whose formula is simple without using inductions. This is done by…

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…

A subunit in a monoidal category is a subobject of the monoidal unit for which a canonical morphism is invertible. They correspond to open subsets of a base topological space in categories such as those of sheaves or Hilbert modules. We…

We introduce a systematic method for constructing set-theoretic operads via iterated application of the power set functor, and use it to uncover a hierarchy connecting several classical operads. Starting from the permutative operad, the…

We present an algebraic characterization of the complexity classes Logspace and NLogspace, using an algebra with a composition law based on unification. This new bridge between unification and complexity classes is inspired from proof…

We introduce structured decompositions, category-theoretic structures which simultaneously generalize notions from graph theory (including treewidth, layered treewidth, co-treewidth, graph decomposition width, tree independence number,…

This paper is a sequel to [Caine A., Pickrell D., arXiv:0710.4484], where we studied the Hamiltonian systems which arise from the Evens-Lu construction of homogeneous Poisson structures on both compact and noncompact type symmetric spaces.…

Two constructions due to Dr\'apal produce a group by modifying exactly one quarter of the Cayley table of another group. We present these constructions in a compact way, and generalize them to Moufang loops, using loop extensions. Both…

We show that every unitarizable fusion category, and more generally every semisimple C*-tensor category, admits a unique unitary structure. Our proof is based on a categorified polar decomposition theorem for monoidal equivalences between…

We build a model structure from the simple point of departure of a structured interval in a monoidal category - more generally, a structured cylinder and a structured co-cylinder in a category.