Related papers: A user's guide to co/cartesian fibrations

We construct a left semi-model category of "marked strict $\infty$-categories" for which the fibrant objects are those whose marked arrows satisfy natural closure properties and are weakly invertible. The canonical model structure on strict…

We develop the theory of (op)fibrations of 2-multicategories and use it to define abstract six-functor-formalisms. We also give axioms for Wirthm\"uller and Grothendieck formalisms (where either $f^!=f^*$ or $f_!=f_*$) or intermediate…

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 (re)consider how the Fukaya category of a Lefschetz fibration is related to that of the fibre. The distinguishing feature of the approach here is a more direct identification of the bimodule homomorphism involved.

We establish a general method to produce cofibrant approximations in the model category $U_S(C,D)$ of $S$-valued $C$-indexed diagrams with $D$-weak equivalences and $D$-fibrations. We also present explicit examples of such approximations.…

The homotopy category of a model structure on a weakly idempotent complete additive category is proved to be equivalent to the additive quotient of the category of cofibrant-fibrant objects with respect to the subcategory of…

Quillen showed that simplicial sets form a model category (with appropriate choices of three classes of morphisms), which organized the homotopy theory of simplicial sets. His proof is very difficult and uses even the classification theory…

In this note we introduce a notion of free cofibrations of permutative categories. We show that each cofibration of permutative categories is a retract of a free cofibration.

We study a non-pointed version of the notion of torsion theory in the framework of categories equipped with a posetal monocoreflective subcategory such that the coreflector inverts monomorphisms. We explore the connections of such torsion…

We study an analogue of fibrations of topological spaces with the homotopy lifting property in the setting of C*-algebra bundles. We then derive an analogue of the Leray-Serre spectral sequence to compute the K-theory of the fibration in…

We take a novel lattice-theoretic approach to the $\tau$-cluster morphism category $\mathfrak{T}(A)$ of a finite-dimensional algebra $A$ and define the category via the lattice of torsion classes $\mathrm{tors } A$. Using the lattice…

We prove that every categorical model of dependent type theory with dependent sums and products, intensional identity types and univalent universes presents via its $\infty$-localisation an elementary $\infty$-topos, that is, a finitely…

In this paper, we construct a model structure for $(\infty,1)$-categories on the category of simplicial spaces, whose fibrant objects are the Segal spaces. In particular, we show that it is Quillen equivalent to the models of…

In order to deduce the internal version of the Brown exact sequence from the internal version of the Gabriel-Zisman exact sequence, we characterize fibrations and $\ast$-fibrations in the 2-category of internal groupoids in terms of the…

We extend the group-theoretic notion of conditional flatness for a localization functor to any pointed category, and investigate it in the context of homological categories and of semi-abelian categories. In the presence of functorial…

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 $\mathcal{X}\rightarrow C$ be a dominant morphism between smooth irreducible varieties over a finitely generated field $k$ such that the generic fiber $X$ is smooth, projective and geometrically connected. Assuming that $C$ is a curve…

We investigate fibrancy conditions in the Thomason model structure on the category of small categories. In particular, we show that the category of weak equivalences of a partial model category is fibrant. Furthermore, we describe…

In this work we explore the physics associated to Calabi-Yau (CY) n-folds that can be described as a fibration in more than one way. Beginning with F-theory vacua in various dimensions, we consider limits/dualities with M-theory, type IIA,…

We define model structures on exact categories which we call exact model structures. We look at the relationship between these model structures and cotorsion pairs on the exact category. In particular, when the underlying category is weakly…