اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدCylinder, Tensor and Tensor-Closed Module
39
0
0.0
(
0
)
تأليف
Seunghun Lee
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
The purpose of this note is to show that, if $mathcal{V}$ is a closed monoidal category, the following three notions are equivalent. (1) Category with $mathcal{V}$-structure and cylinder. (2) Tensored $mathcal{V}$-category. (3) Tensor-closed $mathcal{V}$-module. As an application we will show that, if $mathcal{V}$ is closed and symmetric, then given a category $mathcal{S}$ there is an one-to-one correspondence between the set of $mathcal{V}$-structures with cylinder and path on $mathcal{S}$ introduced by Quillen and the set of closed $mathcal{V}$-module structures on $mathcal{S}$ introduced by Hovey.
قيم البحث
اقرأ أيضاً
A subunit in a monoidal category is a subobject of the monoidal unit for which a canonical morphism is invertible. They correspond to open subsets of a base topological space in categories such as those of sheaves or Hilbert modules. We show that und
er mild conditions subunits endow any monoidal category with a kind of topological intuition: there are well-behaved notions of restriction, localisation, and support, even though the subunits in general only form a semilattice. We develop universal constructions completing any monoidal category to one whose subunits universally form a lattice, preframe, or frame.
Restriction categories were established to handle maps that are partially defined with respect to composition. Tensor topology realises that monoidal categories have an intrinsic notion of space, and deals with objects and maps that are partially def
ined with respect to this spatial structure. We introduce a construction that turns a firm monoidal category into a restriction category and axiomatise the monoidal restriction categories that arise this way, called tensor-restriction categories.
We introduce a notion of $n$-commutativity ($0le nle infty$) for cosimplicial monoids in a symmetric monoidal category ${bf V}$, where $n=0$ corresponds to just cosimplicial monoids in ${bf V,}$ while $n=infty$ corresponds to commutative cosimplicial
monoids. If ${bf V}$ has a monoidal model structure we show (under some mild technical conditions) that the total object of an $n$-cosimplicial monoid has a natural $E_{n+1}$-algebra structure. Our main applications are to the deformation theory of tensor categories and tensor functors. We show that the deformation complex of a tensor functor is a total complex of a $1$-commutative cosimplicial monoid and, hence, has an $E_2$-algebra structure similar to the $E_2$-structure on Hochschild complex of an associative algebra provided by Delignes conjecture. We further demonstrate that the deformation complex of a tensor category is the total complex of a $2$-commutative cosimplicial monoid and, therefore, is naturally an $E_3$-algebra. We make these structures very explicit through a language of Delannoy paths and their noncommutative liftings. We investigate how these structures manifest themselves in concrete examples.
We give a proof of a formula for the trace of self-braidings (in an arbitrary channel) in UMTCs which first appeared in the context of rational conformal field theories (CFTs). The trace is another invariant for UMTCs which depends only on modular da
ta, and contains the expression of the Frobenius-Schur indicator as a special case. Furthermore, we discuss some applications of the trace formula to the realizability problem of modular data and to the classification of UMTCs.
We define a tensor product of linear sites, and a resulting tensor product of Grothendieck categories based upon their representations as categories of linear sheaves. We show that our tensor product is a special case of the tensor product of locally
presentable linear categories, and that the tensor product of locally coherent Grothendieck categories is locally coherent if and only if the Deligne tensor product of their abelian categories of finitely presented objects exists. We describe the tensor product of non-commutative projective schemes in terms of Z-algebras, and show that for projective schemes our tensor product corresponds to the usual product scheme.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
