Related papers: Fibrations in $\infty$-category theory

We develop new techniques for constructing model structures from a given class of cofibrations, together with a class of fibrant objects and a choice of weak equivalences between them. As a special case, we obtain a more flexible version of…

Given a category fibered in groupoids over schemes with a log structure, one produces a category fibered in groupoids over log schemes. We classify the groupoid fibrations over log schemes that arise in this manner in terms of a categorical…

In this paper, we characterize the second bounded characteristic classes of foliated bundles in terms of the non-descendible quasi-morphisms on the universal covering of the structure group. As its application, we study the boundedness of…

In this article we introduce the notion of a k-almost-quasifibration and give many examples. We also show that a large class of these examples are not quasifibrations. As a consequence, supporting the Asphericity conjecture of [19], we…

We define the notion of Cartesian 2-fibrations, and prove a weak analogue of straightening. Using Barwick's notion of operator categories and the notion of a Cartesian 2-fibration, we extend the notion of $\infty$-operads to the…

We prove that the category of (strictly unital) A$_\infty$-categories, linear over a commutative ring $R$, with strict A$_\infty$-morphisms has a cofibrantly generated model structure. In this model structure every object is fibrant and the…

This book provides an inviting tour through sheaf theory, from the perspective of applied category theory and pitched at a less specialized audience than is typical with introductions to sheaves. The book makes it as easy as possible for…

Cofibration categories are a formalization of homotopy theory useful for dealing with homotopy colimits that exist on the level of models as colimits of cofibrant diagrams. In this paper, we deal with their enriched version. Our main result…

We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…

For those deformations that satisfy a certain non-degeneracy condition, we describe the structure of certain simple modules of the deformations of the subcharacter algebra of a finite group. For finite abelian groups, we prove that the…

Since categories are graphs with additional "structure", one should start from fuzzy graphs in order to define a theory of fuzzy categories. Thus is makes sense to introduce categories whose morphisms are associated with a plausibility…

We relate the brace products of a fibration with section to the differentials in its serre spectral sequence. In the particular case of free loop fibrations, we establish a link between these differentials and browder operations in the…

We consider a convenient category of "quadratic" multirings, that allows simple functorial relations with categories associated with abstract quadratic forms theories and shares many good aspects of the theories of Special Groups and of…

This survey is the continuation of a series of works aimed at applying tools from Singularity Theory to Differential Equations. More precisely, we utilize the powerfull Milnor's Fibration Theory to give geometric-topological classifications…

Classification theory of elementary classes deals with first order (elementary) classes of structures (i.e. fixing a set T of first order sentences, we investigate the class of models of T with the elementary submodel notion). It tries to…

In this paper, we study equivariant Hurewicz fibrations, obtain their internal characteristics, and prove theorems on relationship between equivariant fibrations and fibrations generated by them. Local and global properties of equivariant…

In this paper we look at the notion of cohomological triviality of fibrations of homogeneous spaces of affine algebraic groups defined over $\mathbb{C}$ and use topological methods, primarily the theory of covering spaces. This is made…

We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we…

This is an introduction to Grothendieck's descent theory, with some stress on the general machinery of fibered categories and stacks.

Most categorical models for dependent types have traditionally been heavily set based: contexts form a category, and for each we have a set of types in said context -- and for each type a set of terms of said type. This is the case for…