Related papers: Cartesian exponentiation and monadicity

Let $f \colon X \to Y$ be a morphism of concentrated schemes. We characterize $f$-perfect complexes $\mathcal{E}$ as those such that the functor $\mathcal{E} \otimes^{\mathbf{L}}_X \mathbf{L} f^*-$ preserves bounded complexes. We prove, as…

In this technical note, we proffer a very explicit construction of the "dual cocartesian fibration" $p^{\vee}$ of a cartesian fibration $p$, and we show they are classified by the same functor to $\mathbf{Cat}_{\infty}$.

Given a symmetric monoidal stable $\infty$-category $\mathcal{C}$ and a left adjoint symmetric monoidal fiber functor to $\operatorname{Mod}_A^{\otimes}$ for some $\mathbb{E}_{\infty}$-ring $A$, one can construct a derived group scheme $G$…

For a variety X which admits a Cox ring we introduce a functor from the category of quasi-coherent sheaves on $X$ to the category of graded modules over the homogeneous coordinate ring of $X$. We show that this functor is right-adjoint to…

We show that for an extensive $1$-category $\mathcal{E}$ with pullbacks and pullback stable coequalisers in which the forgetful functor $\mathcal{U}: \mathbf{Cat}(\mathcal{E})_1 \to \mathbf{Gph}(\mathcal{E})$ has left adjoint, the…

We show how to treat families of $\infty$-categories fibered in categorical patterns (e.g., $\infty$-operads and monoidal $\infty$-categories) in terms of fibrations by relativizing the Grothendieck construction. As applications, we…

Given a non-semisimple braided tensor category, with oplax tensor functors from known braided tensor categories, we ask : How does this knowledge characterize the tensor product and the braiding? We develop tools that address this question.…

A notion of a coring extension is defined and it is related to the existence of an additive functor between comodule categories that factorises through forgetful functors. This correspondence between coring extensions and factorisable…

Fibrations over a category $B$, introduced to category theory by Grothendieck, encode pseudo-functors $B^{op} \rightsquigarrow {\bf Cat}$, while the special case of discrete fibrations encode presheaves $B^{op} \to {\bf Set}$. A two-sided…

We introduce the compactness locus of a geometric functor between rigidly-compactly generated tensor-triangulated categories, and describe it for several examples arising in equivariant homotopy theory and algebraic geometry. It is a subset…

We study fppf descent for enhanced derived categories. We revisit the work of [HS] and [TV08] in a lax context. More precisely, we construct a Cartesian and coCartesian fibration ${}^{\mathrm{op}}\mathscr D^+_S\rightarrow…

In this paper we investigate equivariant recollements of abelian (resp. triangulated) categories. We first characterize when a recollement of abelian (resp. triangulated) categories induces an equivariant recollement, i.e. a recollement…

An adjoint pair of contravariant functors between abelian categories can be extended to the adjoint pair of their derived functors in the associated derived categories. We describe the reflexive complexes and interpret the achieved results…

In 1997, Hofmann and Streicher introduced an explicit construction to lift a Grothendieck universe from the category of sets into the category of set-valued presheaves on a small category. More recently, Awodey presented an elegant…

We prove a general categorical theorem that enables us to state that under certain conditions, the range of a functor is large. As an application, we prove various results of which the following is a prototype: If every diagram, indexed by…

If $D$ is a Reedy category and $M$ is a model category, the category $M^{D}$ of $D$-diagrams in $M$ is a model category under the Reedy model category structure. If $C \to D$ is a Reedy functor between Reedy categories, then there is an…

In this paper we show that the (un)bounded derived categories$\colon$(i) of the monomorphism category, (ii) of the morphism category and (iii) of the double morphism category, admit a periodic infinite ladder of recollements. These results…

We prove that a pairing between the Fukaya category and the oo-category of Lagrangian cobordisms respects mapping cones. This is another step toward constructing a lift of Fukaya categories to the level of spectra (in the sense of stable…

We gather conditions on a class H of continuous maps of topological spaces that allow a reasonable theory of fibrations up to an equivalence (a map from this class) which we call H-fibrations. The weak homotopy equivalences recover…

Using the notion of truncating twisting function from a simplicial set to a cubical set a special, bitwisted, Cartesian product of these sets is defined. For the universal truncating twisting function, the (co)chain complex of the…