Related papers: Diagonal fibrations are pointwise fibrations

There are infinitely many variants of the notion of Kan fibration that, together with suitable choices of cofibrations and the usual notion of weak equivalence of simplicial sets, satisfy Quillen's axioms for a homotopy model category. The…

We introduce the notion of an effective Kan fibration, a new mathematical structure that can be used to study simplicial homotopy theory. Our main motivation is to make simplicial homotopy theory suitable for homotopy type theory. Effective…

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…

In this paper, we provide a notion of $\infty$-bicategories fibred in $\infty$-bicategories which we call 2-Cartesian fibrations. Our definition is formulated using the language of marked biscaled simplicial sets: Those are scaled…

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…

We undertake a systematic study of the notion of fibration in the setting of abstract simplicial complexes, where the concept of `homotopy' has been replaced by that of `contiguity'. Then a fibration will be a simplicial map satisfying the…

This paper defines double fibrations (fibrations of double categories) and describes their key examples and properties. In particular, it shows how double fibrations relate to existing fibrational notions such as monoidal fibrations and…

We show that the functor that takes a multicosimplicial object in a model category to its diagonal cosimplicial object is a right Quillen functor. This implies that the diagonal of a Reedy fibrant multicosimplicial object is a Reedy fibrant…

We show that the fibrant objects in the minimal model structure on the category of simplicial sets are characterized by a lifting condition with respect to maps which resemble the horn inclusions that define Kan complexes.

We observe that the notion of a trivial Serre fibration, a Serre fibration, and being contractible, for finite CW complexes, can be defined in terms of the Quillen lifting property with respect to a single map M-->/\ of finite topological…

Fibrations over a category $B$, introduced to category theory by Grothendieck, encode pseudo-functors $B^{op} \rightsquigarrow {\bf Cat}$, while the special case of discrete fibrations encode presheaves $B^{op} \to {\bf Set}$. A two-sided…

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…

Consider a locally cartesian closed category with an object I and a class of trivial fibrations, which admit sections and are stable under pushforward and retract as arrows. Define the fibrations to be those maps whose Leibniz exponential…

We classify fibrations by integral plane projective rational quartic curves whose generic fibre is regular but admits a non-smooth point that is a canonical divisor. These fibrations can only exist in characteristic two. The geometric…

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…

We prove that four different ways of defining Cartesian fibrations and the Cartesian model structure are all Quillen equivalent: On marked simplicial sets, on bisimplicial spaces, on bisimplicial sets, on marked simplicial spaces. The main…

We review the concept of a univalent fibration and show by elementary means that every Kan fibration in simplicial sets can be embedded in a univalent Kan fibration.

In this article, we develop a notion of Quillen bifibration which combines the two notions of Grothendieck bifibration and of Quillen model structure. In particular, given a bifibration $p:\mathcal E\to\mathcal B$, we describe when a family…

We prove that for a fibration of simply-connected spaces of finite type $F\hookrightarrow E\to B$ with $F$ being positively elliptic and $H^*(F,\qq)$ not possessing non-trivial derivations of negative degree, the base $B$ is formal if and…

If all objects of a simplicial combinatorial model category \cat A are cofibrant, then there exists the homotopy model structure on the category of small functors $\sS^{\cat A}$, where the fibrant objects are homotopy functors, i.e.,…