English
Related papers

Related papers: Higher dualizability and singly-generated Grothend…

200 papers

We study finiteness conditions in Grothendieck categories by introducing the concepts of objects of type $\text{FP}_n$ and studying their closure properties with respect to short exact sequences. This allows us to propose a notion of…

Category Theory · Mathematics 2019-08-30 Daniel Bravo , James Gillespie , Marco A. Pérez

We introduce the category of bicomodules for a comonad in a Grothendieck category whose underlying functor is right exact and preserves direct sums. We characterize comonads with a separable forgetful functor by means of cohomology groups…

Rings and Algebras · Mathematics 2007-05-23 L. El Kaoutit , J. Vercruysse

Given a hereditary complete cotorsion pair $(\mathsf A,\mathsf B)$ generated by a set of objects in a Grothendieck category $\mathsf K$, we construct a natural equivalence between the Becker coderived category of the left-hand class…

Category Theory · Mathematics 2025-10-14 Leonid Positselski

We show that the unbounded derived category of a Grothendieck category with enough projective objects is the base category of a derivator whose category of diagrams is the full 2-category of small categories. With this structure, we give a…

Category Theory · Mathematics 2024-05-17 Leovigildo Alonso , Beatriz Álvarez , Ana Jeremías

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:…

Category Theory · Mathematics 2017-08-07 Salil Samant , Shiv Dutt Joshi

We construct a "diagonal" cofibrantly generated model structre on the category of simplicial objects in the category of topological categories sCat_{Top}, which is the category of diagrams [\Delta^{op}, Cat_{Top}]. Moreover, we prove that…

Algebraic Topology · Mathematics 2011-12-07 Ilias Amrani

We introduce and develop the notion of *displayed categories*. A displayed category over a category C is equivalent to "a category D and functor F : D --> C", but instead of having a single collection of "objects of D" with a map to the…

Category Theory · Mathematics 2023-06-22 Benedikt Ahrens , Peter LeFanu Lumsdaine

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…

Representation Theory · Mathematics 2025-11-25 Elijah Bodish , Jonathan Brundan , Ben Elias

Let $\mathscr{C}$ be a $2$-Calabi-Yau triangulated category with two cluster tilting subcategories $\mathscr{T}$ and $\mathscr{U}$. Results by Demonet-Iyama-Jasso and J{\o}rgensen-Yakimov known as tropical duality says that the index with…

Representation Theory · Mathematics 2020-05-07 Joseph Reid

We compare closed and rigid monoidal categories. Closedness is defined by the tensor product having a right adjoint: the internal hom functor. Rigidity, on the other hand, generalises the duality of finite-dimensional vector spaces. In the…

Category Theory · Mathematics 2026-02-06 Sebastian Halbig , Tony Zorman

Auslander's formula shows that any abelian category C is equivalent to the category of coherent functors on C modulo the Serre subcategory of all effaceable functors. We establish a derived version of this equivalence. This amounts to…

Category Theory · Mathematics 2015-06-16 Henning Krause

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…

Rings and Algebras · Mathematics 2023-02-15 Mamta Balodi , Abhishek Banerjee , Samarpita Ray

For a semisimple multiring category with left duals, we prove that the unit object is simple if and only if the tensor functors by any non-zero algebra are separable (resp. faithful, resp. Maschke, resp. dual Maschke, resp. conservative).…

Category Theory · Mathematics 2026-02-10 Zhenbang Zuo

We study the unitarizability of premodular categories constructed from representations of quantum group at roots of unity. We introduce \emph{Grothendieck unitarizability} as a natural generalization of unitarizability to any class of…

Quantum Algebra · Mathematics 2008-04-16 Eric C. Rowell

Let $R$ be a ring. In this paper, we study the characterization of cosilting modules and establish a relation between cosilting modules and cotilting objects in a Grothendieck category. We proved that each cosilting right $R$-module $T$ can…

Representation Theory · Mathematics 2021-03-10 Yonggang Hu , Panyue Zhou

Let $W$ be the Weyl group of a split semisimple group $G$. Its Hecke category $\mathsf{H}_W$ can be built from pure perverse sheaves on the double flag variety of $G$. By developing a formalism of generalized realization functors, we…

Representation Theory · Mathematics 2021-06-23 Minh-Tâm Quang Trinh

Let $\mathcal C$ be the category of finite graphs. Lov\`{a}sz shows that the semi-ring of isomorphism classes of $\mathcal C$ (with coproduct as sum, and product as multiplication) is embedded into the direct product of the semi-ring of…

Category Theory · Mathematics 2022-07-14 Shoma Fujino , Makoto Matsumoto

A finite tensor category is called pointed if all its simple objects are invertible. We find necessary and sufficient conditions for two pointed semisimple categories to be dual to each other with respect to a module category. Whenever the…

Quantum Algebra · Mathematics 2009-12-19 Deepak Naidu

We introduce and describe the $2$-category $\mathsf{Grt}_{\flat}$ of Grothendieck categories and flat morphisms between them. First, we show that the tensor product of locally presentable linear categories $\boxtimes$ restricts nicely to…

Algebraic Geometry · Mathematics 2025-08-05 Ivan Di Liberti , Julia Ramos González

Let $G$ be a connected reductive algebraic group over an algebraically closed field of positive characteristic, $\mathfrak{g}$ be its Lie algebra, and $B$ be a Borel subgroup. We prove a formula for the dimensions of extension groups, in…

Representation Theory · Mathematics 2025-11-25 Simon Riche , Quan Situ