Related papers: On fibrations between internal groupoids

For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…

If X is a groupoid equipped with an action of a 2-group G then one has a 2-groupoid X/G. We describe the fibers of the functor from X/G to the 1-groupoid $\pi_0(X)/\pi_0(G)$. We also give an explicit model for X/G in a certain situation.

We classify (up to quasi-isomorphism) the free differential modules whose homology is equal to a given module $M$ by developing a theory for deforming an arbitrary free complex into a differential module. We use an iterative approach to…

Let X ->Y be a Zariski locally trivial fibration of smooth complex projective varieties, with fiber F. We give a structure theorem for the derived category of X provided both F and Z have a full strongly exceptional collection of line…

We give structural results about bifibrations of (internal) $(\infty,1)$-categories with internal sums. This includes a higher version of Moens' Theorem, characterizing cartesian bifibrations with extensive aka stable and disjoint internal…

By regarding the classical non abelian cohomology of groups from a 2-dimensional categorical viewpoint, we are led to a non abelian cohomology of groupoids which continues to satisfy classification, interpretation and representation…

In this paper, we examine the relation between certain subclasses of the classes of Gorenstein projective, Gorenstein flat and Gorenstein injective modules over a group algebra, which consist of the cofibrant, cofibrant-flat and fibrant…

We prove that the homotopy theory of cofibration categories is equivalent to the homotopy theory of cocomplete quasicategories. This is achieved by presenting both homotopy theories as fibration categories and constructing an explicit…

Cartesian fibrations were originally defined by Lurie in the context of quasi-categories and are commonly used in $(\infty,1)$-category theory to study presheaves valued in $(\infty,1)$-categories. In this work we define and study…

We develop a strategy to classify the components of the space of sections of a del Pezzo fibration over $\mathbb{P}^{1}$. In particular, we prove the Movable Bend and Break lemma for del Pezzo fibrations. Our approach is motivated by…

We give new homotopy theoretic criteria for deciding when a fibration with homotopy finite fibers admits a reduction to a fiber bundle with compact topological manifold fibers. The criteria lead to a new and unexpected result about…

We call a finitely complete category algebraically coherent when the change-of-base functors of its fibration of points are coherent, which means that they preserve finite limits and jointly strongly epimorphic pairs of arrows. We give…

We define a cohomology for an arbitrary $K$-linear semistrict semigroupal 2-category $(\mathfrak{C},\otimes)$ (called in the paper a Gray semigroup) and show that its first order (unitary) deformations, up to the suitable notion of…

Within the framework of Riehl-Shulman's synthetic $(\infty,1)$-category theory, we present a theory of two-sided cartesian fibrations. Central results are several characterizations of the two-sidedness condition \`{a} la Chevalley, Gray,…

We provide a semiorthogonal decomposition for the derived category of fibrations of quintic del Pezzo surfaces with rational Gorenstein singularities. There are three components, two of which are equivalent to the derived categories of the…

Let $A$ be an abelian variety and $G$ a finite group of automorphisms of $A$ fixing the origin such that $A/G$ is smooth. The quotient $A/G$ can be seen as a fibration over an abelian variety whose fibers are isomorphic to a product of…

We introduce a homotopy-theoretic interpretation of intuitionistic first-order logic based on ideas from Homotopy Type Theory. We provide a categorical formulation of this interpretation using the framework of Grothendieck fibrations. We…

Many structures of interest in two-dimensional category theory have aspects that are inherently strict. This strictness is not a limitation, but rather plays a fundamental role in the theory of such structures. For instance, a monoidal…

Let X be a smooth complex affine curve, and let R be the space of right ideal classes in the ring D of differential operators on X. We introduce and study a fibration \gamma : R \to Pic(X). We relate this fibration to the corresponding one…

In this note we consider different versions of coinduction functors between categories of comodules for corings induced by a morphism of corings. In particular we introduce a new version of the coinduction functor in the case of locally…