Related papers: Classifying spaces and fibrations of simplicial sh…

In this note we show that in the simplicial setting, the classifying space construction converts short exact sequences of groups not just to homotopy fibrations, but in fact to fibre bundles.

Both simplicial sets and simplicial spaces are used pervasively in homotopy theory as presentations of spaces, where in both cases we extract the "underlying space" by taking geometric realization. We have a good handle on the category of…

We prove that the classifying space of a simplicial group is modeled by its homotopy coherent nerve.

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…

In this article, we construct a cofibrantly generated model structure on the category of spaces stratified over a fixed poset, and show that it is Quillen-equivalent to a category of diagrams of simplicial sets. Then, considering all those…

In this paper, we address the construction of homotopy bicategories of $(\infty,2)$-categories, which we take as being modeled by 2-fold Segal spaces. Our main result is the concrete construction of a functor $h_2$ from the category of…

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 classifying spaces of cobordisms of singular maps have two fairly different constructions. We expose a homotopy theoretical connection between them. As a corollary we show that the classifying spaces in some cases have a simple product…

In this paper, we discuss the theory of quasi-fibrations in proper Bousfield localizations of model categories of simplicial sheaves. We provide a construction of fibrewise localization and use this construction to generalize a criterion…

Let p be a fibration of simply connected CW complexes with finite base B and fibre F. Let aut_1(p) denote the identity component of the space of all fibre-homotopy self-equivalences of p and Baut_1(p) the classifying space for this…

We provide a partial solution to the problem of defining a constructive version of Voevodsky's simplicial model of univalent foundations. For this, we prove constructive counterparts of the necessary results of simplicial homotopy theory,…

We describe the moduli space of extensions in the model category of simplicial presheaves. This article can be seen as a generalization of Blomgren-Chacholski results in the case of simplicial sets. Our description of the moduli space of…

We prove the existence of a model structure on the category of stratified simplicial sets whose fibrant objects are precisely $n$-complicial sets, which are a proposed model for $(\infty,n)$-categories, based on previous work of Verity and…

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…

We construct a model category structure on the category of diffeological spaces which is Quillen equivalent to the model structure on the category of topological spaces based on the notions of Serre fibrations and weak homotopy…

A characterization of simplicial objects in categories with finite products obtained by the reduced bar construction is given. The condition that characterizes such simplicial objects is a strictification of Segal's condition guaranteeing…

For a small category $\mathcal{D}$ we define fibrations of simplicial presheaves on the category $\mathcal{D}\times\Delta$, which we call localized $\mathcal{D}$-left fibration. We show these fibrations can be seen as fibrant objects in a…

Given a stratified topological space, we answer the question whether the functor from the derived category of constructible sheaves to the derived category of sheaves with constructible cohomology is an equivalence. We also establish basic…

We classify homotopes of classical symmetric spaces (studied in Part I of this work). Our classification uses the fibered structure of homotopes: they are fibered as symmetric spaces, with flat fibers, over a non-degenerate base; the base…

We study Quillen's model category structure for homotopy of simplicial objects in the context of Janelidze, Marki and Tholen's semi-abelian categories. This model structure exists as soon as the base category A is regular Mal'tsev and has…