Related papers: Cartesian Fibrations and Representability
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…
Algebra objects in $\infty$-categories of spans admit a description in terms of $2$-Segal objects. We introduce a notion of span between $2$-Segal objects and extend this correspondence to an equivalence of $\infty$-categories.…
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…
An orbit-like foliation is a singular foliation on a complete Riemannian manifold $M$ whose leaves are locally equidistant (i.e., a singular Riemannian foliation) and (transversely) infinitesimally homogenous. This class of singular…
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…
The relative cell complexes with respect to a generating set of cofibrations are an important class of morphisms in any model structure. In the particular case of the standard (algebraic) model structure on $\textbf{Top}$, we give a new…
The concept of F-algebra and its representation can be extended to an arbitrary bundle. We define operations of fibered F-algebra in fiber. The paper presents the representation theory of of fibered F-algebra as well as a comparison of…
This is the first draft of a book about higher categories approached by iterating Segal's method, as in Tamsamani's definition of $n$-nerve and Pelissier's thesis. If $M$ is a tractable left proper cartesian model category, we construct a…
We construct a general class of Calabi--Yau threefolds from fiber products of rational elliptic surfaces with section, generalizing a construction of Schoen to include all Kodaira fiber types. The resulting threefolds each have two elliptic…
We define and study cartesian and cocartesian fibrations between categories internal to an $\infty$-topos and prove a straightening equivalence in this context.
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…
The coincidence between initial algebras (IAs) and final coalgebras (FCs) is a phenomenon that underpins various important results in theoretical computer science. In this paper, we identify a general fibrational condition for the IA-FC…
We study the global structure of the gauge group $G$ of F-theory compactified on an elliptic fibration $Y$. The global properties of $G$ are encoded in the torsion subgroup of the Mordell-Weil group of rational sections of $Y$. Generalising…
Homotopy type theory is a formal language for doing abstract homotopy theory -- the study of identifications. But in unmodified homotopy type theory, there is no way to say that these identifications come from identifying the path-connected…
The study of abstraction and composition - the focus of category theory - naturally leads to sophisticated diagrams which can encode complex algebraic semantics. Consequently, these diagrams facilitate a clearer visual comprehension of…
Formalized $1$-category theory forms a core component of various libraries of mathematical proofs. However, more sophisticated results in fields from algebraic topology to theoretical physics, where objects have "higher structure," rely on…
We prove that the Fukaya-Seidel categories of a certain family of Lefschetz fibrations on $\mathbb{C}^2$ are equivalent to the perfect derived categories of Auslander algebras of Dynkin type $\mathbb{A}$. We give an explicit equivalence…
Fragment and glider representations (introduced by F. Caenepeel, S. Nawal, and F. Van Oystaeyen) form a generalization of filtered modules over a filtered ring. Given a $\Gamma$-filtered ring $FR$ and a subset $\Lambda \subseteq \Gamma$, we…
We present a comonadic approach to pretorsion theories on semiexact categories, i.e. categories equipped with a closed ideal of null morphisms that admits all kernels and all cokernels. We first prove that bihereditary pretorsion theories…
We give a model-independent construction of directed univalent cocartesian fibrations of $(\infty,1)$-categories, and prove a straightening equivalence against such fibrations. The key step is showing that cocartesian fibrations descend…