English
Related papers

Related papers: The Local Joyal Model Structure

200 papers

A general method for lifting weak factorization systems in a category S to model category structures on simplicial objects in S is described, analogously to the lifting of cotorsion pairs in Abelian categories to model category structures…

Algebraic Topology · Mathematics 2021-05-19 Fritz Hörmann

We construct on the category of diffeological spaces a Quillen model structure having smooth weak homotopy equivalences as the class of weak equivalences.

Algebraic Topology · Mathematics 2024-07-19 Tadayuki Haraguchi , Kazuhisa Shimakawa

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…

Algebraic Topology · Mathematics 2018-07-24 Danny Stevenson

We construct a model structure on the category of cubical sets with connections whose cofibrations are the monomorphisms and whose fibrant objects are defined by the right lifting property with respect to inner open boxes, the cubical…

Algebraic Topology · Mathematics 2022-02-08 Brandon Doherty , Chris Kapulkin , Zachery Lindsey , Christian Sattler

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…

Algebraic Topology · Mathematics 2016-12-21 Lennart Meier

The aim of this paper is to prove that the A$_{\infty}$-nerve of two quasi-equivalent A$_{\infty}$-categories (linear over a commutative ring) are weak-equivalent in the Joyal model structure. As a consequence we prove that the…

Algebraic Geometry · Mathematics 2026-01-21 Mattia Ornaghi

Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the "homotopy theory" of the model category. There is a model category…

Algebraic Topology · Mathematics 2007-05-23 Julia E. Bergner

We produce a highly structured way of associating a simplicial category to a model category which improves on work of Dwyer and Kan and answers a question of Hovey. We show that model categories satisfying a certain axiom are Quillen…

Algebraic Topology · Mathematics 2020-01-13 Charles Rezk , Stefan Schwede , Brooke Shipley

This paper is part of a series of three articles with the objective of investigating a stratified version of the homotopy hypothesis in terms of semi-model structures that interact well with classical examples of stratified spaces, such as…

Algebraic Topology · Mathematics 2025-01-28 Lukas Waas

The diagonal lemma asserts that if a map of bisimplicial sets is a levelwise weak equivalence in the Kan-Quillen model structure, then it induces a weak equivalence of the diagonal simplicial sets. In this short note, we observe that the…

Algebraic Topology · Mathematics 2025-12-23 Daniel Carranza , Chris Kapulkin , Liang Ze Wong

In a previous paper we lifted Charles Rezk's complete Segal model structure on the category of simplicial spaces to a Quillen equivalent one on the category of "relative categories," and our aim in this successor paper is to obtain a more…

Algebraic Topology · Mathematics 2011-01-05 C. Barwick , D. M. Kan

We consider the category of presheaves of Gamma-spaces, or equivalently, of Gamma-objects in simplicial presheaves. Our main result is the construction of stable model structures on this category parametrised by local model structures on…

Algebraic Topology · Mathematics 2008-05-13 Håkon S. Bergsaker

We show that weak equivalences in a (cofibrantly generated) left Bousfield localization of the projective model category of simplicial presheaves can be characterized by a local lifting property if and only if the localization is exact.

Algebraic Topology · Mathematics 2021-04-21 Fritz Hörmann

We construct a cubical analogue of the rigidification functor from quasi-categories to simplicial categories present in the work of Joyal and Lurie. We define a functor from the category of cubical sets of Doherty-Kapulkin-Lindsey-Sattler…

Algebraic Topology · Mathematics 2024-08-28 Pierre-Louis Curien , Muriel Livernet , Gabriel Saadia

We study the accessibility properties of trivial cofibrations and weak equivalences in a combinatorial model category and prove an estimate for the accessibility rank of weak equivalences. In particular, we show that the class of weak…

Algebraic Topology · Mathematics 2015-05-13 G. Raptis , J. Rosický

We present a family of model structures on the category of multicomplexes. There is a cofibrantly generated model structure in which the weak equivalences are the morphisms inducing an isomorphism at a fixed stage of an associated spectral…

Algebraic Topology · Mathematics 2021-01-13 Xin Fu , Ai Guan , Muriel Livernet , Sarah Whitehouse

The simplicial extension of any functor from Sets to Sets which commutes with directed colimits takes weak equivalences to weak equivalences. The goal of the present paper is construct a framework which can be used to proof results of this…

Algebraic Geometry · Mathematics 2009-09-28 Vladimir Voevodsky

We prove that for any test category $A$, in the sense of Grothendieck, satisfying a compatibility condition between homology equivalences and weak equivalences of presheaves, the homotopy category of abelian presheaves on $A$ is equivalent…

Algebraic Topology · Mathematics 2026-02-11 Léo Hubert

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…

Algebraic Topology · Mathematics 2013-09-11 Georg Biedermann

We establish a Quillen model category structure on the category of symmetric simplicial multicategories. This model structure extends the model structure on simplicial categories due to J. Bergner.

Category Theory · Mathematics 2012-06-25 Alexandru E. Stanculescu