Related papers: Presentations of Grothendieck constructions

We treat the problem of lifting bicategories into double categories through categories of vertical morphisms. We make use of a specific instance of the Grothendieck construction to provide, for every bicategory equipped with a possible…

We construct a tensor functor from the category of super representations of the superlinear group Gl(m,n) over a field of characteristic zero to the category of super representations of the linear group Gl(m-n) over some extension field…

We introduce a new family of monoidal categories which are cyclotomic quotients of the nil-Brauer category. We construct a monoidal functor from the cyclotomic nil-Brauer category to another monoidal category constructed from singular…

Categories of lenses/optics and Dialectica categories are both comprised of bidirectional morphisms of basically the same form. In this work we show how they can be considered a special case of an overarching fibrational construction,…

The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…

Inspired by work of Ladkani, we explain how to construct generalisations of the classical reflection functors of Bern\v{s}te\u{\i}n, Gel'fand and Ponomarev by means of the Grothendieck construction.

Every right adjoint functor between presentable $\infty$-categories is shown to decompose canonically as a coreflection, followed by, possibly transfinitely many, monadic functors. Furthermore, the coreflection part is given a presentation…

We introduce analogues of Soergel bimodules for complex reflection groups of rank one. We give an explicit parametrization of the indecomposable objects of the resulting category and give a presentation of its split Grothendieck ring by…

To a big n-tilting object in a complete, cocomplete abelian category A with an injective cogenerator we assign a big n-cotilting object in a complete, cocomplete abelian category B with a projective generator, and vice versa. Then we…

The Grothendieck construction of a diagram $X$ of categories can be seen as a process to construct a single category $\Gr(X)$ by gluing categories in the diagram together. Here we formulate diagrams of categories as colax functors from a…

Consider a coring with exact rational functor, and a finitely generated and projective right comodule. We construct a functor (\emph{coinduction functor}) which is right adjoint to the hom-functor represented by this comodule. Using the…

We investigate the representation theory of finite sets. The correspondence functors are the functors from the category of finite sets and correspondences to the category of k-modules, where k is a commutative ring. They have various…

We determine for which Coxeter types the associated small quotient of the $2$-category of Soergel bimodules is finitary and, for such a small quotient, classify the simple transitive $2$-representations (sometimes under the additional…

This is mostly an overview. Given finitely presentable abelian categories $A$ and $B$, we sketch the construction of an abelian category of continuous functors from $A$ to $B$ that has nice $2$-categorical behaviour and gives an explicit…

We apply the notion of relative adjoint functor to generalise closed monoidal categories. We define representations in such categories and give their relation with left actions of monoids. The translation of these representations under lax…

We give a small functorial algebraic model for the 2-stage Postnikov section of the K-theory spectrum of a Waldhausen category and use our presentation to describe the multiplicative structure with respect to biexact functors.

This is a partial derivative of \cite{MR94g:17044}. We give a list of examples/problems that some will find amusing.

We consider representations of quivers taking values in monads or comonads over a Grothendieck category $\mathcal C$. We treat these as scheme like objects whose ``structure sheaf'' consists of monads or comonads. By using systems of…

Let G be a finite group. Given a finite G-set X and a modular tensor category C, we construct a weak G-equivariant fusion category, called the permutation equivariant tensor category. The construction is geometric and uses the formalism of…

We give a criterion for a functor \(F:C\rightarrow B\) between small categories to generate a small presentation of the universal model category \(U(B)\) in the sense of Dugger.