Related papers: Semi-strictification of $(\infty, n)$-categories

In this paper we introduce the notion of weighted (weakly) almost periodic compactifcation of a semitopological semigroup and generalize this notion to corresponding notion for transformation semigroup.The inclusion relation and equality of…

This paper is a sequel to arXiv:2307.13358 and arXiv:2308.16090. A construction associating a semialgebra with an algebra, subalgebra, and a coalgebra dual to the subalgebra played a central role in the author's book arXiv:0708.3398. In…

We introduce a new category of non-archimedean analytic spaces over a complete discretely valued field. These spaces, which we call uniformly rigid, may be viewed as classical rigid-analytic spaces together with an additional uniform…

In [Homotopical Algebra, Springer LNM 43] Quillen introduces the notion of a model category: a category $\mathcal{C}$ provided with three distinguished classes of maps $\{\mathcal{W},\, \mathcal{F},\, co\mathcal{F}\}$ (weak equivalences,…

We present a new strictification method for type-theoretic structures that are only weakly stable under substitution. Given weakly stable structures over some model of type theory, we construct equivalent strictly stable structures by…

We prove a generalization of Quillen's Theorem B to strict $\infty$-categories. More generally, we show that under similar hypothesis as for Theorem B, the comma construction for strict $\infty$-categories, that we introduced with…

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…

We show that semi-simplicial spaces that i) admit inner horn fillers up to homotopy and ii) possess units in a weak sense provide a viable model for $\infty$-categories. The existence of units can be expressed through various…

In this paper, we introduce a cofibrant simplicial category that we call the free homotopy coherent adjunction and characterize its n-arrows using a graphical calculus that we develop here. The hom-spaces are appropriately fibrant, indeed…

We develop a homotopical framework for small categories that extends classical invarints of algebraic topology to the categorical setting. Our approach is based on the construction of genuine path category, obtained trough a localization…

We develop the theory of semi-orthogonal decompositions and spherical functors in the framework of stable $\infty$-categories. Building on this, we study the relative Waldhausen S-construction $S_\bullet(F)$ of a spherical functor $F$ and…

We construct a discrete model of the homotopy theory of $S^1$-spaces. We define a category $\sP$ with objects composed of a simplicial set and a cyclic set along with suitable compatibility data. $\sP$ inherits a model structure from the…

An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is…

Let k be a commutative ring with unit. We endow the categories of filtered complexes and of bicomplexes of k-modules, with cofibrantly generated model structures, where the class of weak equivalences is given by those morphisms inducing a…

We establish a model structure on the category of strict omega-categories. The constructions leading to the model structure in question are expressed entirely within the scope of omega-categories, building on a set of generating…

First of all, we recall the well known notion of semidirect product both for classical algebraic structures (like groups and rings) and for more recent ones (digroups, left skew braces, heaps, trusses). Then we analyse the concept of…

We characterise the (closeness classes of) quasi-isometric embeddings as the regular monomorphisms in the coarsely Lipschitz category, formalising the notion that they are isomorphisms onto their image. Furthermore, we prove 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…

We study the semisimplicity of the category $KL_k$ for affine Lie superalgebras and provide a super analog of certain results from arXiv:1801.09880. Let $KL_k^{fin}$ be the subcategory of $KL_k$ consisting of ordinary modules on which the…

We show how one may classify all semisimple algebras containing the $\mathfrak{su}(3)\oplus \mathfrak{su}(2) \oplus \mathfrak{u}(1)$ symmetry of the Standard Model and acting on some given matter sector, enabling theories beyond the…