Related papers: Understanding higher structures through Quillen-Se…

We define a model category structure on a slice category of simplicial spaces, called the "Segal group action" structure whose fibrant-cofibrant objects may be viewed as representing spaces $X$ with a coherent action of a given Segal group…

Much research has been done on structures equivalent to topological or simplicial groups. In this paper, we consider instead simplicial monoids. In particular, we show that the usual model category structure on the category of simplicial…

The uniform $\mathcal{F}_p$-isomorphism theorem of Quillen gives a comparison map between the Borel equivariant $\mathbf{Z}/p$-cohomology of a space and a limit involving only the Borel equivariant cohomology groups of the same space with…

Associated to a presentable $\infty$-category $\mathcal{C}$ and an object $X \in \mathcal{C}$ is the tangent $\infty$-category $\mathcal{T}_X\mathcal{C}$, consisting of parameterized spectrum objects over $X$. This gives rise to a…

We show that given a rigid C*-tensor category, there is an equivalence of categories between normalized irreducible Q-systems, also known as connected unitary Frobenius algebra objects, and compact connected W*-algebra objects. Although…

We show that there is an equivalence in any $n$-topos $\mathcal{X}$ between the pointed and $k$-connective objects of $\mathcal{X}$ and the $\mathbb{E}_k$-group objects of the $(n-k-1)$-truncation of $\mathcal{X}$. This recovers, up to…

Let $R$ be a left-Gorenstein ring. We show that there is a Quillen equivalence between singular contraderived model category and singular coderived model category. Consequently, an equivalence between the homotopy category of exact…

This note explores the link between the q-model structure of flows and the Ilias model structure of topologically enriched small categories. Both have weak equivalences which induce equivalences of fundamental (semi)categories. The Ilias…

We relate the relative nerve $\mathrm{N}_f(\mathcal{D})$ of a diagram of simplicial sets $f \colon \mathcal{D} \to \mathsf{sSet}$ with the Grothendieck construction $\mathsf{Gr} F$ of a simplicial functor $F \colon \mathcal{D} \to…

We propose that geometric quantization of symplectic manifolds is the arrow part of a functor, whose object part is deformation quantization of Poisson manifolds. The `quantization commutes with reduction' conjecture of Guillemin and…

Given an equivalence relation ~ on a set U, there are two abstract notions of an element of the quotient set U/~. The #1 abstract notion is a set S=[u] of equivalent elements of U (an equivalence class); the #2 notion is an abstract entity…

In this paper we show that the strict and lax pullbacks of a 2-categorical opfibration along an arbitrary 2-functor are homotopy equivalent. We give two applications. First, we show that the strict fibers of an opfibration model the…

Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the…

Let $J$ be a set of pairs consisting of good modules over an affine quantum algebra and invertible elements. The distribution of poles of the normalized R-matrices yields Khovanov-Lauda-Rouquier algebras $R^J$. We define a functor $F$ from…

We propose a new model for the theory of $(\infty,n)$-categories (including the case $n=\infty$) in the category of marked cubical sets with connections, similar in flavor to complicial sets of Verity. The model structure characterizing our…

The object of this paper is to prove that the standard categories in which homotopy theory is done, such as topological spaces, simplicial sets, chain complexes of abelian groups, and any of the various good models for spectra, are all…

We introduce the notion of algebraic fibrant objects in a general model category and establish a (combinatorial) model category structure on algebraic fibrant objects. Based on this construction we propose algebraic Kan complexes as an…

We develop a constructive model of homotopy type theory in a Quillen model category that classically presents the usual homotopy theory of spaces. Our model is based on presheaves over the cartesian cube category, a well-behaved…

Interest in combinatorial interpretations of mathematical entities stems from the convenience of the concrete models they provide. Finding a bijective proof of a seemingly obscure identity can reveal unsuspected significance to it. Finding…

We construct a "diagonal" cofibrantly generated model structre on the category of simplicial objects in the category of topological categories sCat_{Top}, which is the category of diagrams [\Delta^{op}, Cat_{Top}]. Moreover, we prove that…