English
Related papers

Related papers: Enriched $\infty$-categories as marked module cate…

200 papers

For a small category K enriched over a suitable monoidal category V, the free completion of K under colimits is the presheaf category [K*,V]. If K is large, its free completion under colimits is the V-category PK of small presheaves on K,…

Category Theory · Mathematics 2010-09-10 Brian J. Day , Stephen Lack

In this note we introduce and study basic properties of two types of modules over a commutative noetherian ring $R$ of positive prime characteristic. The first is the category of modules of finite $F$-type. These objects include reflexive…

Commutative Algebra · Mathematics 2016-03-02 Hailong Dao , Tony Se

In this work, we explore a double categorical framework for categories of enriched graphs, categories and the newly introduced notion of cocategories. A fundamental goal is to establish an enrichment of V-categories in V-cocategories, which…

Category Theory · Mathematics 2018-09-27 Christina Vasilakopoulou

We develop some aspects of the homological algebra of persistence modules, in both the one-parameter and multi-parameter settings, considered as either sheaves or graded modules. The two theories are different. We consider the graded module…

Algebraic Topology · Mathematics 2022-05-09 Peter Bubenik , Nikola Milicevic

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 prove that every Grothendieck topology induces a hereditary torsion pair in the category of presheaves of modules on a ringed site, and obtain a homological characterization of sheaves of modules: a presheaf of modules is a sheaf of…

Representation Theory · Mathematics 2025-07-30 Zhenxing Di , Liping Li , Li Liang

A braided tensor category $FM_{\kappa}$ of `factorizable D-modules' over configuration spaces is introduced, analogous to the category $FS_q$ of factorizable sheaves from q-alg/9604001. This category is equivalent to the category of finite…

q-alg · Mathematics 2008-02-03 Sergei Khoroshkin , Vadim Schechtman

We thoroughly treat several familiar and less familiar definitions and results concerning categories, functors and distributors enriched in a base quantaloid Q. In analogy with V-category theory we discuss such things as adjoint functors,…

Category Theory · Mathematics 2007-05-23 Isar Stubbe

We investigate how change of enriching base category via a faithful, conservative right adjoint functor interacts with enriched coverages and sheaves on a given enriched category. We prove that change of base via such a functor gives rise…

Category Theory · Mathematics 2025-04-08 Ariel E. Rosenfield

We generalize the tensor product theory for modules for a vertex operator algebra previously developed in a series of papers by the first two authors to suitable module categories for a ``conformal vertex algebra'' or even more generally,…

Quantum Algebra · Mathematics 2007-05-23 Yi-Zhi Huang , James Lepowsky , Lin Zhang

In this work, we shall study in a purely model-independent fashion the $\infty$-category of mixed graded modules over a ring of characteristic $0$, and collect some basic results about its main formal properties. Finally, we shall endow…

Category Theory · Mathematics 2025-03-28 Emanuele Pavia

Let $b$, $b'$ be commutative monoids in a B\'{e}nabou cosmos. Motivated by six-functor formalisms in algebraic geometry, we prove that the category of commutative monoids over $b\otimes b'$ is equivalent to the category of cocontinuous lax…

Category Theory · Mathematics 2025-10-20 Jaehyeok Lee

We work with $FI$-modules over a small preadditive category $\mathcal R$, viewed as a ring with several objects. Our aim is to study torsion theories for $FI$-modules. We are especially interested in torsion theories on finitely generated…

Category Theory · Mathematics 2020-02-04 Abhishek Banerjee

Making use of Freyd's free abelian category on a preadditive category we show that if $T:D\rightarrow \mathcal{A}$ is a representation of a quiver $D$ in an abelian category $\mathcal{A}$ then there is an abelian category $\mathcal{A} (T)$,…

Algebraic Geometry · Mathematics 2019-11-05 L. Barbieri-Viale , M. Prest

We review the construction of braided tensor categories and modular tensor categories from representations of vertex operator algebras, which correspond to chiral algebras in physics. The extensive and general theory underlying this…

High Energy Physics - Theory · Physics 2015-06-15 Yi-Zhi Huang , James Lepowsky

Given a category $\mathcal C$ and a directed partially ordered set $J$, a certain category $pro^J -\mathcal C$ on inverse systems in $\mathcal C$ is constructed such that the ordinary pro-category $pro-\mathcal C$ is the most special case…

Category Theory · Mathematics 2019-05-20 Nikica Uglešić

We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…

Logic in Computer Science · Computer Science 2015-07-01 Hyvernat Pierre

We develop and extend the theory of Mackey functors as an application of enriched category theory. We define Mackey functors on a lextensive category $\E$ and investigate the properties of the category of Mackey functors on $\E$. We show…

Category Theory · Mathematics 2007-06-21 Ross Street , Elango Panchadcharam

Building on our previous work on enriched regular logic, we introduce an enriched version of positive logic and relate it to enriched cone-injectivity classes and enriched accessible categories. To do this, we need a factorization system on…

Category Theory · Mathematics 2025-09-25 Jiří Rosický , Giacomo Tendas

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