English
Related papers

Related papers: Grothendieck enriched categories

200 papers

Recently, there has been renewed interest in the theory and applications of de Paiva's dialectica categories and their relationship to the category of polynomial functors. Both fall under the theory of generalized polynomial categories,…

Category Theory · Mathematics 2023-12-15 Joseph Dorta , Samantha Jarvis , Nelson Niu

We define the Grothendieck group of an n-angulated category and show that for odd n its properties are as in the special case of n=3, i.e. the triangulated case. In particular, its subgroups classify the dense and complete n-angulated…

Category Theory · Mathematics 2012-05-28 Petter Andreas Bergh , Marius Thaule

We define a Grothendieck ring of pairs of complex quasi-projective varieties (that is a variety and a subvariety). We describe $\lambda$-structures and a power structure on/over this ring. We show that the conjectual symmetric power of the…

Algebraic Geometry · Mathematics 2023-08-23 Sabir M. Gusein-Zade , Ignacio Luengo , Alejandro Melle-Hernández

In "Frobenius Categories versus Brauer Blocks", Progress in Math. 274, we have introduced the Frobenius categories F over a finite p-group P, and we have associated to F - suitably endowed with some central k*-extensions - a "Grothendieck…

Group Theory · Mathematics 2010-04-12 Lluis Puig

This thesis is devoted to the proof of a theorem showing the existence of a closed model category structure for weakly enriched categories. It requires first of all the definitions of weakly enriched categories and equivalences of weakly…

Algebraic Topology · Mathematics 2007-05-23 Regis Pellissier

We define Euler characteristic of a category enriched by a monoidal model category. If a monoidal model category V is equipped with Euler characteristic that is compatible with weak equivalences and fibrations in V, then our Euler…

Category Theory · Mathematics 2016-11-25 Kazunori Noguchi , Kohei Tanaka

We prove an analogue of the Gabriel--Quillen embedding theorem for exact $\infty$-categories, giving rise to a presentable version of Klemenc's stable envelope of an exact $\infty$-category. Moreover, we construct a symmetric monoidal…

Algebraic Topology · Mathematics 2026-03-23 Marius Nielsen , Christoph Winges

We present the notion of Gorenstein categories relative to G-admissible triples. This is a relativization of the concept of Gorenstein category (an abelian category with enough projective and injective objects, in which the suprema of the…

Category Theory · Mathematics 2025-02-19 Sergio Estrada , Octavio Mendoza , Marco A. Pérez

We describe a general framework for notions of commutativity based on enriched category theory. We extend Eilenberg and Kelly's tensor product for categories enriched over a symmetric monoidal base to a tensor product for categories…

Category Theory · Mathematics 2016-01-07 Richard Garner , Ignacio López Franco

Differential linear categories provide the categorical semantics of the multiplicative and exponential fragments of Differential Linear Logic. Briefly, a differential linear category is a symmetric monoidal category that is enriched over…

Category Theory · Mathematics 2026-03-11 Jean-Simon Pacaud Lemay

In this paper we answer the question: `what kind of a structure can a general multicategory be enriched in?' The answer is, in a sense to be made precise, that a multicategory of one type can be enriched in a multicategory of the type one…

Category Theory · Mathematics 2007-05-23 Tom Leinster

In this paper we prove that Toen's derived enrichment of the model category of dg-categories defined by Tabuada, is computed by the dg-category of A-infinity functors. This approach was suggested by Kontsevich. We further put this…

K-Theory and Homology · Mathematics 2014-12-04 Giovanni Faonte

For a quasi-split tamely connected reductive group G over a p-adic field, we prove that its (monodromic) affine Hecke category is canonically equivalent to its equal characteristic counterpart as monoidal categories.

Representation Theory · Mathematics 2025-11-14 Zhiwei Yun , Xinwen Zhu

We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…

Category Theory · Mathematics 2010-08-05 Chris Heunen

We define the Drinfeld center of a monoidal category enriched over a braided monoidal category, and show that every modular tensor category can be realized in a canonical way as the Drinfeld center of a self-enriched monoidal category. We…

Category Theory · Mathematics 2020-06-05 Liang Kong , Hao Zheng

We rewrite classical topological definitions using the category-theoretic notation of arrows and are led to concise reformulations in terms of simplicial categories and orthogonality of morphisms, which we hope might be of use in the…

Category Theory · Mathematics 2018-07-19 Misha Gavrilovich , Konstantin Pimenov

For the category $\mathscr V$ of complex algebraic varieties, the Grothendieck group of the commutative monoid of the isomorphism classes of correspondences $X \xleftarrow f M \xrightarrow g Y$ with proper morphism $f$ and smooth morphism…

Algebraic Geometry · Mathematics 2020-11-30 Shoji Yokura

We develop a homotopy theory of categories enriched in a monoidal model category V. In particular, we deal with homotopy weighted limits and colimits, and homotopy local presentability. The main result, which was known for…

Category Theory · Mathematics 2019-07-08 Stephen Lack , Jiri Rosicky

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…

Category Theory · Mathematics 2025-08-15 Divya Ahuja , Abhishek Banerjee , Surjeet Kour , Samarpita Ray

Given a locally coherent Grothendieck category G, we prove that the homotopy category of complexes of injective objects (also known as the coderived category of G) is compactly generated triangulated. Moreover, the full subcategory of…

Category Theory · Mathematics 2014-12-05 Jan Stovicek