Related papers: Rigidification of higher categorical structures

We establish the equivalence between models of enhanced $2$-sketches and algebras over monads, including the (co)lax morphisms. More precisely, for any enhanced limit $2$-sketch $\mathbb{T}$ with tight cones, the enhanced $2$-category…

The comparison theory for the Riccati equation satisfied by the shape operator of parallel hypersurfaces is generalized to semi-Riemannian manifolds of arbitrary index, using one-sided bounds on the Riemann tensor which in the Riemannian…

We discuss a variant of the category of dendroidal sets, the so-called closed dendroidal sets which are indexed by trees without leaves. This category carries a Quillen model structure which behaves better than the one on general dendroidal…

We describe compactifications of the moduli spaces of SU(2) monopoles on R3 as manifolds with corners, with respect to which the hyperKaehler metrics admit asymptotic expansions up to each boundary face. The boundary faces encode monopoles…

We develop a rigidity criterion to show that in simplicial model categories with a compatible symmetric monoidal structure, operad structures can be automatically lifted along certain maps. This is applied to obtain an unpublished result of…

We establish a structure theorem on the arc space of a $k$-scheme of finite type. More precisely, we show that the arc space is locally for the pro-smooth toplogy a product of an infinite dimensional affine space and of a non-noetherian…

We construct a model category (in the sense of Quillen) for set theory, starting from two arbitrary, but natural, conventions. It is the simplest category satisfying our conventions and modelling the notions of finiteness, countability and…

We extend Schwede's work on the unstable global homotopy theory of orthogonal spaces and $\mathcal{L}$-spaces to the category of $*$-modules (i.e., unstable $S$-modules). We prove a theorem which transports model structures and their…

We show that a locally symmetric space of noncompact type and with finite volume is quasi-isometric to the euclidean cone over a finite simplicial complex. A detailed analysis of metric properties yields a proof of a conjecture of Siegel.

We provide an axiomatic treatment of Quillen's construction of the model structure on topological spaces to make it applicable to a wider range of settings, including $\Delta$-generated spaces and pseudotopological spaces. We use this…

In this paper, we consider the problem of building a conformal boundary, embedding a pseudo-Riamnnian manifold as an open subset of a bigger one. We get first results about conformal maximality. We also show that in dimension $\geq 3$,…

We develop a rigidity theory for bar-joint frameworks in Euclidean $d$-space in which specified classes of edges are allowed to change length in a coordinated fashion that requires differences of lengths to be preserved within each class.…

In a recent paper, the second author and Joana Cirici proved a theorem that says that given appropriate hypotheses, $n$-formality of a differential graded algebraic structure is equivalent to the existence of a chain-level lift of a…

Reasoning about weak higher categorical structures constitutes a challenging task, even to the experts. One principal reason is that the language of set theory is not invariant under the weaker notions of equivalence at play, such as…

We prove the compatibility between the suspension construction and the complicial nerve of $\omega$-categories. As a motivating application, we produce a Quillen pair between the models of $(\infty,n)$-categories given by Rezk's complete…

We show that the Kazhdan-Lusztig category $KL_k$ of level-$k$ finite-length modules with highest-weight composition factors for the affine Lie superalgebra $\widehat{\mathfrak{gl}(1|1)}$ has vertex algebraic braided tensor supercategory…

We show that in a weak globular $\omega$-category, all composition operations are equivalent and commutative for cells with sufficiently degenerate boundary, which can be considered a higher-dimensional generalisation of the Eckmann-Hilton…

The classifying diagram was defined by Rezk and is a generalization of the nerve of a category; in contrast to the nerve, the classifying diagram of two categories is equivalent if and only if the categories are equivalent. In this paper we…

We generalize fundamental notions of higher algebra, traditionally developed within the $\infty$-category of spectra, to the broader setting of $t$-structured tensor triangulated $\infty$-categories ($ttt$-$\infty$-categories). Under a…

In a previous paper, we showed that a discrete version of the $S_\bullet$-construction gives an equivalence of categories between unital 2-Segal sets and augmented stable double categories. Here, we generalize this result to the homotopical…