Related papers: Monoids, Segal's condition and bisimplicial spaces
We motivate the study of metric spaces with a unique convex geodesic bicombing, which we call CUB spaces. These encompass many classical notions of nonpositive curvature, such as CAT(0) spaces and Busemann-convex spaces. Groups having a…
If a reduced bivariate polynomial is quasi-homogeneous, then its discriminant is a monomial. Over fields of characteristic $0$, we show that if one adds another simple condition, this becomes an equivalence. We also give a third equivalent…
We explore geometric conditions which ensure a given element of a finitely generated group is, or fails to be, generalized loxodromic; as part of this we prove a generalization of Sisto's result that every generalized loxodromic element is…
This paper aims to find the most general combinatorial conditions under which a moment-angle complex $(D^2,S^1)^K$ is a co-$H$-space, thus splitting unstably in terms of its full subcomplexes. In this way we study to which extent the…
A method of constructing a class of bihamiltonian structures is presented. Elements of this class are generalizations of the so-called bihamiltonian structures of general position on odd-dimensional manifolds. The method consists in a…
We develop a notion of iterated monoidal category and show that this notion corresponds in a precise way to the notion of iterated loop space. Specifically the group completion of the nerve of such a category is an iterated loop space and…
In previous work by the first two authors, Frobenius and commutative algebra objects in the category of spans of sets were characterized in terms of simplicial sets satisfying certain properties. In this paper, we find a similar…
We define the homology of a simplicial set with coefficients in a Segal's $\Gamma$-set ($\mathbf S$-module). We show the relevance of this new homology with values in $\mathbf S$-modules by proving that taking as coefficients the $\mathbf…
We construct a category equivalent to the category $\mathbf{Mon}$ of monoids and monoid homomorphisms, based on categories with strict factorization systems. This equivalence is then extended to the category $\mathbf{Mon_s}$ of unital…
This paper proves three different coherence theorems for symmetric monoidal bicategories. First, we show that in a free symmetric monoidal bicategory every diagram of 2-cells commutes. Second, we show that this implies that the free…
A simplicial complex is a set equipped with a down-closed family of distinguished finite subsets. This structure, usually viewed as codifying a triangulated space, is used here directly, to describe "spaces" whose geometric realisation can…
In this paper, we introduce a simplicial analog of classifying spaces for commutativity which classify principal bundles with commutativity structure on their transition functions. Our construction $\overline W(\tau,K)$, which takes as…
We construct embeddings of simplicial complexes into a (surface of a) simplicial ball whose triangulation has bounded degrees and low volume. This construction can be used either to efficiently "simplify a complicated space" by realizing it…
We apply algebraic Morse theory to the Taylor resolution of a monomial ring $R = S/I$ to obtain an $A_{\infty}$-structure on the minimal free resolution of $R$. Using this structure we describe the vanishing of higher Massey products in…
We show that every braided monoidal category arises as $\End(I)$ for a weak unit $I$ in an otherwise completely strict monoidal 2-category. This implies a version of Simpson's weak-unit conjecture in dimension 3, namely that one-object…
We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given monoidal model category. This yields a unified treatment for the known model structures on simplicial, topological, dg- and…
Let M be a monoidal category endowed with a distinguished class of weak equivalences and with appropriately compatible classifying bundles for monoids and comonoids. We define and study homotopy-invariant notions of normality for maps of…
The goal of this paper is to prove coherence results with respect to relational graphs for monoidal monads and comonads, i.e. monads and comonads in a monoidal category such that the endofunctor of the monad or comonad is a monoidal functor…
A general result relating skew monoidal structures and monads is proved. This is applied to quantum categories and bialgebroids. Ordinary categories are monads in the bicategory whose morphisms are spans between sets. Quantum categories…
This article proposes an algorithm that constructs a Sullivan minimal model for any simply connected simplicial set with effective homology and thereby allows one to decide algorithmically whether two simply connected spaces represented by…