Related papers: Presentations of Grothendieck constructions
We provide, among other things: (i) a Bousfield--Kan formula for colimits in $\infty$-categories (generalizing the 1-categorical formula for a colimit as a coequalizer of maps between coproducts); (ii) $\infty$-categorical generalizations…
We prove that the 2-category Grt of Grothendieck abelian categories with colimit preserving functors and natural transformations is a bicategory of fractions in the sense of Pronk of the 2-category Site of linear sites with continuous…
We produce an indexed version of the Grothendieck construction. This gives an equivalence of categories between opfibrations over a fixed base in the 2-category of 2-copresheaves and 2-copresheaves on the Grothendieck construction of the…
We construct a functor valued invariant of oriented tangles on certain singular blocks of category O. Parabolic subcategories of these blocks categorify tensor products of various fundamental sl(k) representations. Projective functors…
The purpose of this note is to consider in detail the construction of derived functors. The classical construction, such as in Cartan-Eilenberg or Grothendieck, is clarified, and it is shown, at the same time, that everything can be…
We define a natural 2-categorical structure on the base category of a large class of Grothendieck fibrations. Given any model category $\mathbf{C}$, we apply this construction to a fibration whose fibers are the homotopy categories of the…
We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…
In the previous paper arxiv:math/0610552 semisimple tensor categories were constructed out of certain regular Mal'cev categories. In this paper, we calculate the tensor product multiplicities and the categorical dimensions of the simple…
In this paper we study categories $(F,\mathbf{C},\mathbf{D})$ and $(\mathbb{F},\mathbf{C},\mathbf{Set})$ and prove them to be fibred on $\mathbf{C}$. Then we examine Grothendieck construction in the context of an ordinary functor $F:…
We define a functor which gives the "global rank of a quiver representation" and prove that it has nice properties which make it a generalization of the rank of a linear map. We demonstrate how to construct other "rank functors" for a…
We construct an abelian category C and exact functors in C which on the Grothendieck group descend to the action of a simply-laced quantum group in its adjoint representation. The braid group action in the adjoint representation lifts to an…
A Mackey type decomposition for group actions on abelian categories is described. This allows us to define new Mackey functors which associates to any subgroup the $K$-theory of the corresponding equivariantized abelian category. In the…
We produce a fully faithful functor from finite type nilpotent spaces to cosimplicial binomial rings, thus giving an algebraic model of integral homotopy types. As an application, we construct an integral version of the…
For every smooth projective variety, we construct an action of the Heisenberg algebra on the direct sum of the Grothendieck groups of all the symmetric quotient stacks which contains the Fock space as a subrepresentation. The action is…
Triangle presentations are combinatorial structures on finite projective geometries which characterize groups acting simply transitively on the vertices of a locally finite building of type $\tilde{\text{A}}_{n-1}$ ($n\ge3$). From a type…
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…
We prove the triviality of the Grothendieck ring of a integer-valued field K under slight conditions on the logical language and on K. We construct a definable bijection from the plane K^2 to itself minus a point. When we specialize to…
We construct a functor from the category of admissible finitely presented o-representations of GL(2,F) to the category of finite length o-representations of Gal_{Q_p}, for any finite extension F of Q_p and the ring of integers o of a finite…
For a nice-enough category $\mathcal{C}$, we construct both the morphism category ${\rm H}(\mathcal{C})$ of $\mathcal{C}$ and the category ${\rm mod}\mbox{-}\mathcal{C}$ of all finitely presented contravariant additive functors over…
The category of small covariant functors from simplicial sets to simplicial sets supports the projective model structure. In this paper we construct various localizations of the projective model structure and also give a variant for…