Related papers: Gray-categories model algebraic tricategories

This paper revisits the equivalence problem between algebraic quantum field theories and prefactorization algebras defined over globally hyperbolic Lorentzian manifolds. We develop a radically new approach whose main innovative features are…

We define quasi--locally presentable categories as big unions of coreflective subcategories which are locally presentable. Under appropriate hypotheses we prove a representability theorem for exact contravariant functors defined on a…

We define a new notion of an algebraic model structure, in which the cofibrations and fibrations are retracts of coalgebras for comonads and algebras for monads, and prove "algebraic" analogs of classical results. Using a modified version…

We show that a map between fibrant objects in a closed model category is a weak equivalence if and only if it has the right homotopy extension lifting property with respect to all cofibrations. The dual statement holds for maps between…

Let $I$ be a small category, $\mathcal{C}$ be the category $\mathbf{Cat}$, $\mathbf{Ac}$ or $\mathbf{Pos}$ of small categories, acyclic categories, or posets, respectively. Let $\mathcal{O}$ be a locally small class of objects in…

If M is a model category and Z is an object of M, then there are model category structures on the category of objects of M over Z and the category of objects of M under Z under which a map is a cofibration, fibration, or weak equivalence if…

We describe a generalization of Gabriel and Zisman's Calculus of Fractions to quasicategories, showing that the two essentially coincide for the nerve of a category. We then prove that the marked Ex-functor can be used to compute the…

We describe a Quillen equivalence between quasi-categories and relative categories which is surprisingly similar to Thomason's Quillen equivalences between simplicial sets and categories.

We describe a finitary 2-monad on a locally finitely presentable 2-category for which not every pseudoalgebra is equivalent to a strict one. This shows that having rank is not a sufficient condition on a 2-monad for every pseudoalgebra to…

After two papers on weak cubical categories and {\it collarable} cospans, respectively, we put things together and construct a {\it weak} cubical category of cubical {\it collared} cospans of topological spaces. We also build a second…

Let $L_n$ denote the Dwyer-Kan localization of the category of weak n-categories divided by the n-equivalences. We propose a list of properties that this simplicial category is likely to have, and conjecture that these properties…

In this article, we introduce a category of weak Lie 3-algebras with suitable weak morphisms. The definition is based on the construction of a partial resolution over $\mathbb{Z}$ of the Koszul dual cooperad of the $\textrm{Lie}$ operad,…

We discuss the conjecture of Buchstaber and Krichever that their multi-dimensional vector addition formula for Baker-Akhiezer functions characterizes Jacobians among principally polarized abelian varieties, and prove that it is indeed a…

We develop bicategory theory in univalent foundations. Guided by the notion of univalence for (1-)categories studied by Ahrens, Kapulkin, and Shulman, we define and study univalent bicategories. To construct examples of univalent…

We classify the prelocalizing subcategories of the category of quasi-coherent sheaves on a locally noetherian scheme. In order to give the classification, we introduce the notion of a local filter of subobjects of the structure sheaf. The…

Given an $\infty$-category with a set of weak equivalences which is stable under pullback, we show that the mapping spaces of the corresponding localization can be described as group completions of $\infty$-categories of spans. Furthermore,…

We study the model space generated by the time-dependent operator coefficients in the effective field theory of the cosmological background evolution and perturbations of modified gravity and dark energy models. We identify three classes of…

We prove that the marked triangulation functor from the category of marked cubical sets equipped with a model structure for ($n$-trivial, saturated) comical sets to the category of marked simplicial set equipped with a model structure for…

The category $\bcalNT$ was introduced in \cite{Lobos2} in order to provide a structural setting to the study of the many Gelfand-Tsetlin subalgebras appearing in the context of the diagrammatic Soergel category of Elias and Williamson…

There are various adjunctions between model (co-)slice and slice categories. We characterize when these adjunctions are Quillen equivalences. As an application, a triangle equivalence between the stable category of a Frobenius category and…