Related papers: Six Functor Formalisms and Fibered Multiderivators

This is the first of a pair of papers where we construct and investigate a closed monoidal structure on the category of generalized algebraic theories (in the sense of Cartmell). In the present text, as a starting point, we define the…

Grothendieck fibrations are fundamental in capturing the concept of dependency, notably in categorical semantics of type theory and programming languages. A relevant instance are Dialectica fibrations which generalise G\"odel's Dialectica…

For any algebra morphism in a monoidal category, we provide sufficient conditions (which are also necessary if the unit is a left tensor generator) for the attached induction functor being semiseparable. Under mild assumptions, we prove…

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…

We develop a theory of derived rigid spaces and quasi-coherent sheaves and analytic "stratifications" on them. Amongst other things, we obtain a six-functor formalism for these quasi-coherent sheaves and analytic stratifications. We provide…

In our previous papers [Far East Journal of Mathematical Sciences, 35 (2009), 211-223] and [International Journal of Pure and Applied Mathematics, 60 (2010), 15-24] we have developed the theory of Weil prolongation, Weil exponentiability…

We upgrade the classical operation of \textit{isomonodromic deformations} along a path $\gamma$ to a functor $\mathbb{P}_{\gamma}$ between categories of flat connections with logarithmic singularities along a divisor $D$, which itself…

Classification questions are often about understanding components of a category. It is much more desirable however to be able to understand the entire homotopy type of this category and not just the set of its components. In this paper we…

We define an $\infty$-category of rational motives for inverse limits of algebraic stacks, so-called pro-algebraic stacks. We show that it admits a $6$-functor formalism for certain classes of morphisms. On pro-schemes, we show that this…

Extending previous work, we define monoidal algebraic model structures and give examples. The main structural component is what we call an algebraic Quillen two-variable adjunction; the principal technical work is to develop the category…

We develop further the theory of operads and analytic functors. In particular, we introduce a bicategory that has operads as 0-cells, operad bimodules as 1-cells and operad bimodule maps as 2-cells, and prove that this bicategory is…

Abstract inner automorphisms can be used to promote any category into a 2-category, and we study two-dimensional limits and colimits in the resulting 2-categories. Existing connected colimits and limits in the starting category become…

Regular logic can be regarded as the internal language of regular categories, but the logic itself is generally not given a categorical treatment. In this paper, we understand the syntax and proof rules of regular logic in terms of the free…

We study fibrations arising from indexed categories of the following form: fix two categories $\mathcal{A},\mathcal{X}$ and a functor $F : \mathcal{A} \times \mathcal{X} \longrightarrow\mathcal{X} $, so that to each $F_A=F(A,-)$ one can…

In this paper, I establish the categorical structure necessary to interpret dependent inductive and coinductive types. It is well-known that dependent type theories \`a la Martin-L\"of can be interpreted using fibrations. Modern theorem…

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…

A double category is constructed from a `fattened' version of a given category, motivated in part by a context of parallel transport. We also study monoidal structures on the underlying category and on the fattened category.

In this paper we introduce the notion of a categorical Mackey functor. This categorical notion allows us to obtain new Mackey functors by passing to Quillen's $K$-theory of the corresponding abelian categories. In the case of an action by…

Grothendieck duality theory assigns to essentially-finite-type maps f of noetherian schemes a pseudofunctor f^\times right-adjoint to Rf_*, and a pseudofunctor f^! agreeing with f^\times when f is proper, but equal to the usual inverse…

For a proper map $f\colon X\to Y$ of noetherian ordinary schemes, one has a well-known natural transformation, ${\bf L}^*f^*(-)\overset{\bf L}{\otimes} f^!{\mathcal{O}}_Y\to f^!$, obtained via the projection formula, which extends, using…