Related papers: Comparison of models for $(\infty, n)$-categories,…

For any positive integer $n$, let $W_n=\text{Der}(\mathbb{C}[t_1,\dots,t_n])$. The subspaces $\mathfrak{h}_n=\text{Span}\{t_1\frac{\partial}{\partial{t_1}},\dots,t_n\frac{\partial}{\partial{t_n}}\}$ and…

In this paper, we study conditions for extending Quillen model category properties , between two symmetric monoidal categories, to their associated category of symmetric sequences and of operads. Given a Quillen equivalence $\lambda:…

We give describe several models for $(\infty,n)$-categories, with an emphasis on models given by diagrams of sets and simplicial sets. We look most closely at the cases when $n \leq 2$, then summarize methods of generalizing for all $n$.

This article compares the infinite loop spaces associated to symmetric spectra, orthogonal spectra, and EKMM S-modules. Each of these categories of structured spectra has a corresponding category of structured spaces that receives the…

We give category-theoretic reformulations of stability, NIP, NTP, and non-dividing by observing that their characterisations in terms of indiscernible sequences are naturally expressed as Quillen lifting properties %(negation) of certain…

In this paper we put a cofibrantly generated model category structure on the category of small simplicial categories. The weak equivalences are a simplicial analogue of the notion of equivalence of categories.

We prove quasiminimality of the regular mixed Tsirelson spaces T[(S_n,\theta_n)_n] with the sequence (\frac{\theta_n}{\theta^n})_n decreasing, where \theta=\lim_n \theta_n^{1/n}, and quasiminimality of all mixed Tsirelson spaces…

We study the notion of a bifibration in simplicial sets which generalizes the classical notion of two-sided discrete fibration studied in category theory. If $A$ and $B$ are simplicial sets we equip the category of simplicial sets over…

The additivity theorem for derivateurs associated to complicial biWaldhausen categories is proved. Also, to any exact category in the sense of Quillen a K-theory space is associated. This K-theory is shown to satisfy the additivity,…

We introduce, for \(\C\) a regular Cartesian Reedy category a model category whose fibrant objects are an analogue of quasicategories enriched in simplicial presheaves on \(C\). We then develop a coherent realization and nerve for this…

Let $A$ be an associative superalgebra over a field of characteristic zero. Let $n \geq d+1$. The main result of the paper establishes an equivalence of categories between supermodules for the wreath product $ S_{d} \wr A$ and an explicitly…

By using the Dold-Kan correspondence we construct a Quillen adjunction between the model categories of non-cocommutative coassociative simplicial and differential graded coalgebras over a field. We restrict to categories of connected…

In this paper we continue to study various types of closures in $S(n)$-spaces. The main results are related to the construction and illustration of examples that allow us to understand the relationship between $S(n)$-closed,…

We show that the complete Segal model structure extends to a model structure on bimplicial presheaves on a small site $\mathscr{C}$, for which the weak equivalences are local (or stalkwise) weak equivalences. This model structure can be…

We use fibrations of complete Segal spaces to construct four complete Segal spaces: Reedy fibrant simplicial spaces, Segal spaces, complete Segal spaces, and spaces. Moreover, we show each one comes with a universal fibration that…

A relative category is a category with a chosen class of weak equivalences. Barwick and Kan produced a model structure on the category of all relative categories, which is Quillen equivalent to the Joyal model structure on simplicial sets…

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…

In this paper we show that the known models for $(\infty, 1)$-categories can all be extended to equivariant versions for any discrete group $G$. We show that in two of the models we can also consider actions of any simplicial group $G$.

Diagrammatic sets admit a notion of internal equivalence in the sense of coinductive weak invertibility, with similar properties to its analogue in strict $\omega$-categories. We construct a model structure whose fibrant objects are…

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…