Related papers: Monoids, Segal's condition and bisimplicial spaces
Building on structure observed in equivariant homotopy theory, we define an equivariant generalization of a symmetric monoidal category: a $G$-symmetric monoidal category. These record not only the symmetric monoidal products but also…
We prove that the monoidal 2-category of cospans of finite linear orders and surjections is the universal monoidal category with an object X with a semigroup and a cosemigroup structures, where the two structures satisfy a certain…
Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the "homotopy theory" of the model category. There is a model category…
The classifying spaces of cobordisms of singular maps have two fairly different constructions. We expose a homotopy theoretical connection between them. As a corollary we show that the classifying spaces in some cases have a simple product…
We prove a conjecture of Bahri, Bendersky, Cohen and Gitler: if K is a shifted simplicial complex on n vertices, X_1,..., X_n are spaces and CX_i is the cone on X_i, then the polyhedral product determined by K and the pairs (CX_i,X_i) is…
We show that if a complex has free finitely generated reduced homology groups for two consecutive dimensions and trivial homology for all other dimensions, then it must have the homotopy type of a wedge of spheres of two consecutive…
This paper proves that the homotopy type of a pointed, simply-connected, 2-reduced simplicial set is determined by the chain-complex augmented by functorial diagonal and higher diagonal maps (a simple generalization of the ones used to…
Any tricategory characteristically has associated various simplicial or pseudo-simplicial objects. This paper explores the relationship amongst three of them: the pseudo-simplicial bicategory so-called Grothendieck nerve of the tricategory,…
We show that if $(M,\tensor,I)$ is a monoidal model category then $\REnd_M(I)$ is a (weak) 2-monoid in $\sSet$. This applies in particular when $M$ is the category of $A$-bimodules over a simplicial monoid $A$: the derived endomorphisms of…
We consider the composition product of symmetric sequences in the case where the underlying symmetric monoidal structure does not commute with coproducts. Even though this composition product is not a monoidal structure on symmetric…
The centre of a monoidal category is a braided monoidal category. Monoidal categories are monoidal objects (or pseudomonoids) in the monoidal bicategory of categories. This paper provides a universal construction in a braided monoidal…
Let $\mathcal{S}$ be a small category, and suppose that we are given a full subcategory $\mathcal{U}$ such that every object of $\mathcal{S}$ can be embedded into some object of $\mathcal{U}$ in the same way as every quasi-projective…
This is an exposition of homotopical results on the geometric realization of semi-simplicial spaces. We then use these to derive basic foundational results about classifying spaces of topological categories, possibly without units. The…
The configuration category of a manifold is a topological category which we view as a Segal space, via the nerve construction. Our main result is that the unordered configuration category, suitably truncated, admits a finite presentation as…
The purpose of this short note is to illustrate the utility of (semi-) dendroidal objects in describing certain 'up-to-homotopy' operads. Specifically, we exhibit a semi-dendroidal space satisfying the Segal condition, whose evaluation at a…
We give a description of unital operads in a symmetric monoidal category as monoids in a monoidal category of unital $\Lambda$-sequences. This is a new variant of Kelly's old description of operads as monoids in the monoidal category of…
The category of Hilbert modules may be interpreted as a naive quantum field theory over a base space. Open subsets of the base space are recovered as idempotent subunits, which form a meet-semilattice in any firm braided monoidal category.…
We provide an explicit and elementary construction of the Morita $(\infty,2)$-category of a monoidal category which satisfies minimal conditions. We construct it as a $3$-coskeletal $2$-complicial set, in which the vertices encode the…
The Golodness of a simplicial complex is defined algebraically in terms of the Stanley-Reisner ring, and it has been a long-standing problem to find its combinatorial characterization. The tightness of a simplicial complex is a…
Let p be a fibration of simply connected CW complexes with finite base B and fibre F. Let aut_1(p) denote the identity component of the space of all fibre-homotopy self-equivalences of p and Baut_1(p) the classifying space for this…