Related papers: Fibrations in Directed Type Theory

The goal of this paper is to prove an equivalence between the model categorical approach to pro-categories, as studied by Isaksen, Schlank and the first author, and the $\infty$-categorical approach, as developed by Lurie. Three…

In a recent paper we introduced a much weaker and easy to verify structure than a model category, which we called a "weak fibration category". We further showed that a small weak fibration category can be "completed" into a full model…

This paper concerns different types of singular complex projective varieties generalizing irreducible symplectic manifolds. We deduce from known results that the generalized Beauville-Bogomolov form satisfies the Fujiki relations and has…

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…

We lift the standard equivalence between fibrations and indexed categories to an equivalence between monoidal fibrations and monoidal indexed categories, namely weak monoidal pseudofunctors to the 2-category of categories. In doing so, we…

Given $X$ a finite nilpotent simplicial set, consider the classifying fibrations $$ X\to Baut_G^*(X)\to Baut_G(X),\qquad X\to Z\to Baut_{\pi}^*(X), $$ where $G$ and $\pi$ denote, respectively, subgroups of the free and pointed homotopy…

In this work, we study the notion of cofinal functor of $\infty$-bicategories with respect to the theory of partially lax colimits. The main result of this paper is a characterization of cofinal functors of $\infty$-bicategories via…

The category of simplicial R-coalgebras over a presheaf of commutative unital rings on a small Grothendieck site is endowed with a left proper, simplicial, cofibrantly generated model category structure where the weak equivalences are the…

We present a way of constructing a Quillen model structure on a full subcategory of an elementary topos, starting with an interval object with connections and a certain dominance. The advantage of this method is that it does not require the…

This paper develops the foundations of a simplicial theory of weak omega-categories, which builds upon the insights originally expounded by Ross Street in his 1987 paper on oriented simplices. The resulting theory of weak complicial sets…

In the first part of this paper we study fibrations of $(\infty,2)$-categories. We give a simple characterization of such fibrations in terms of a certain square being a pullback, and apply this to show that in some cases…

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…

We extend the Siu--Beauville theorem to a certain class of compact Kaehler--Weyl manifolds, proving that they fiber holomorphically over hyperbolic Riemannian surfaces whenever they satisfy the necessary topological hypotheses. As…

In this article we consider the homotopy theory of stratified spaces through a simplicial point of view. We first consider a model category of filtered simplicial sets over some fixed poset $P$, and show that it is a simplicial…

Categorical symplectic geometry is the study of a rich collection of invariants of symplectic manifolds, including the Fukaya $A_\infty$-category, Floer cohomology, and symplectic cohomology. Beginning with work of Wehrheim and Woodward in…

We show that the conditions in Steimle's 'additivity theorem for cobordism categories' can be weakened to only require \emph{locally} (co)Cartesian fibrations, making it applicable to a larger class of functors. As an application we compute…

We construct spectral sequences in the framework of Baues-Wirsching cohomology and homology for functors between small categories and analyze particular cases including Grothendieck fibrations. We also give applications to more classical…

In this paper, we study h-fibrations, a weak homotopical version of fibrations which have weak covering homotopy property. We present some homotopical analogue of the notions related to fibrations and characterize h-fibrations using them.…

Dwyer-Kan localization at pairs of quasi-isomorphisms of the category of dg Lie-Rinehart pairs $(A,M)$, where $A$ is a semi-free cdga over a field $k$ of characteristic zero and $M$ a cell complex in $A$-modules, is shown to be equivalent…

For each pair of simplicial sets $A$ and $B$, the category $\mathbf{Cyl}(A,B)$ of cylinders (also called correspondences) from $A$ to $B$ admits a model structure induced from Joyal's model structure for quasi-categories. In this paper, we…