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

We introduce the category of finite strings and study its basic properties. The category is closely related to the augmented simplex category, and it models categories of linear representations. Each lattice of non-crossing partitions…

We discuss right fibrations in the $\infty$-categorical context of Segal objects in a category V and prove some basic results about these.

We establish that a category of fibrant objects (in the sense of Brown) admits a Dwyer-Kan homotopical calculus of right fractions. This is done using a homotopical calculus of cocycles, which is an auxiliary structure that can be defined…

This paper is concerned with developing a 2-dimensional analogue of the notion of an ordinary discrete fibration. A definition is proposed, and it is shown that such discrete 2-fibrations correspond via a 2-equivalence to certain…

Expansions of abelian categories are introduced. These are certain functors between abelian categories and provide a tool for induction/reduction arguments. Expansions arise naturally in the study of coherent sheaves on weighted projective…

In this survey, we remind some fibrations structure theorems (also called Milnor's fibrations) recently proved in the real and complex case, in the local and global settings. We give several Poincar\'e-Hopf type formulae which relates the…

In this paper we redevelop the foundations of the category theory of quasi-categories (also called infinity-categories) using 2-category theory. We show that Joyal's strict 2-category of quasi-categories admits certain weak 2-limits, among…

In an abelian category, the (bi)fibration of subobjects is isomorphic to the (bi)fibration of quotients. This property captures substantial information about the exactness structure of a category. Indeed, as it was shown by the second…

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…

Inspired by Lurie's theory of quasi-unital algebras we prove an analogous result for $\infty$-categories. In particular, we show that the unital structure of an $\infty$-category can be uniquely recovered from the underlying non-unital…

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 describe a generalization of Gabriel and Zisman's Calculus of Fractions to quasicategories, showing that the two essentially coincide for the nerve of a category. We then prove that the marked Ex-functor can be used to compute the…

We motivate and give semantics to theory presentation combinators as the foundational building blocks for a scalable library of theories. The key observation is that the category of contexts and fibered categories are the ideal theoretical…

We investigate the class of quasitrivial semigroups and provide various characterizations of the subclass of quasitrivial and commutative semigroups as well as the subclass of quasitrivial and order-preserving semigroups. We also determine…

We introduce quasi-Prufer extensions of rings in order to relativize the notion of quasi-Prufer domains and to take into account some contexts recently introduced in the literature. We also introduce almost-Prufer ring extensions.…

We study the accessibility properties of trivial cofibrations and weak equivalences in a combinatorial model category and prove an estimate for the accessibility rank of weak equivalences. In particular, we show that the class of weak…

The unstraightening construction due to Lurie establishes an equivalence between presheaves and fibrations, using one prominent model of $(\infty,1)$-categories, namely quasi-categories. In this work we generalize this result by proving…

We define a general mathematical framework for linguistics based on the theory of fibrations, called FibLang. We start by modelling the interaction between linguistics and cognition in the most general way possible, with a heavy focus on…

We introduce some classes of genuine higher categories in homotopy type theory, defined as well-behaved subcategories of the category of types. We give several examples, and some techniques for showing other things are not examples. While…

For a category B with finite products, we first characterize pseudofunctors from B to Cat whose corresponding opfibration is cartesian monoidal. Among those, we then characterize the ones which extend to pseudofunctors from internal groups…