Related papers: Quillen-Segal objects and structures: an overview
Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid Q, which we call `Q-order'. This requires a theory of semicategories enriched in the quantaloid Q, that admit a suitable Cauchy completion.…
We formulate a $q$-Schur algebra associated to an arbitrary $W$-invariant finite set $X_{\texttt f}$ of integral weights for a complex simple Lie algebra with Weyl group $W$. We establish a $q$-Schur duality between the $q$-Schur algebra…
We define the category of tidy symmetric multicategories. We construct for each tidy symmetric multicategory Q a cartesian monad (E_Q,T_Q) and extend this assignation to a functor. We exhibit a relationship between the slice construction on…
We give a fully constructive proof that there is a proper cartesian $\omega$-combinatorial model structure on the category of simplicial sets, whose generating cofibrations and trivial cofibrations are the usual boundary inclusion and horn…
A group completion functor Q is constructed in the category of algebras in simplicial sets over a cofibrant E_n-operad M. It is shown that Q defines a Bousfield-Friedander simplicial model category on M-algebras.
We show that the space of chains of smooth maps from spheres into a fixed compact oriented manifold has a natural structure of a transversal $d$-algebra. We construct a structure of transversal 1-category on the space of chains of maps from…
Pursuing ideas of Jeff Smith, we develop a homotopy theory of ideals of monoids in a symmetric monoidal model category. This includes Smith ideals of structured ring spectra and of differential graded algebras. Such Smith ideals are NOT…
We extend some classical results of Bousfield on homology localizations and nilpotent completions to a presentably symmetric monoidal stable $\infty$-category $\mathscr{M}$ admitting a multiplicative left-complete $t$-structure. If $E$ is a…
We develop an alternative to the May-Thomason construction used to compare operad based infinite loop machines to that of Segal, which relies on weak products. Our construction has the advantage that it can be carried out in $Cat$, whereas…
Let $R$ be a commutative ring with unit. We consider the homotopy theory of the category of spectral sequences of $R$-modules with the class of weak equivalences given by those morphisms inducing a quasi-isomorphism at a certain fixed page.…
It is proved that the category of simplicial complete bornological spaces over $\mathbb R$ carries a combinatorial monoidal model structure satisfying the monoid axiom. For any commutative monoid in this category the category of modules is…
We construct a left semi-model category of "marked strict $\infty$-categories" for which the fibrant objects are those whose marked arrows satisfy natural closure properties and are weakly invertible. The canonical model structure on strict…
The aim of this short paper is to establish a spectral algebra analog of the Bousfield-Kan "fibration lemma" under appropriate conditions. We work in the context of algebraic structures that can be described as algebras over an operad…
It is proved that any left F-quasigroup is isomorphic to the direct product of a left F-quasigroup with a unique idempotent element and isotope of a special form of a left distributive quasigroup. The similar theorems are proved for right…
We prove that the category of trees $\Omega$ is a test category in the sense of Grothendieck. This implies that the category of dendroidal sets is endowed with the structure of a model category Quillen-equivalent to spaces. We show that…
Let $\mathcal{O}$ be an order of index $m$ in the maximal order of a quadratic number field $k=\mathbb{Q}(\sqrt{d})$. Let $\underline{\mathbf{O}}_{d,m}$ be the orthogonal $\mathbb{Z}$-group of the associated norm form $q_{d,m}$. We describe…
Given an algebraic theory which can be described by a (possibly symmetric) operad $P$, we propose a definition of the \emph{weakening} (or \emph{categorification}) of the theory, in which equations that hold strictly for $P$-algebras hold…
In this paper, we associate the quantum toroidal algebra $\mathcal{E}_N$ of type $\mathfrak{gl}_N$ with quantum vertex algebra through equivariant $\phi$-coordinated quasi modules. More precisely, for every $\ell\in \mathbb{C}$, by…
We provide a combinatorial description of the monoidal category generated by the fundamental representation of the small quantum group of $\mathfrak{sl}_2$ at a root of unity $q$ of odd order. Our approach is diagrammatic, and it relies on…
An n-truncated model structure on simplicial (pre-)sheaves is described having as weak equivalences maps that induce isomorphisms on certain homotopy sheaves only up to degree n. Starting from one of Jardine's intermediate model structures…