ترغب بنشر مسار تعليمي؟ اضغط هنا

Duality for positive opetopes and tree complexes

62   0   0.0 ( 0 )
 نشر من قبل Marek Zawadowski
 تاريخ النشر 2020
  مجال البحث
والبحث باللغة English
 تأليف Marek Zawadowski




اسأل ChatGPT حول البحث

We show that the (positive) zoom complexes, here called tree complexes, with fairly natural morphisms, form a dual category to the category of positive opetopes with contraction epimorphisms. We also show how this duality can be slightly generalized to thicket complexes and opetopic cardinals.



قيم البحث

اقرأ أيضاً

77 - Marek Zawadowski 2017
We show that the category of positive opetopes with contraction morphisms, i.e. all face maps and some degeneracies, forms a test category. The category of positive opetopic sets pOpeSet can be defined as a full subcategory of the category of polyg raphs Poly. An object of pOpeSet has generators whose codomains are again generators and whose domains are non-identity cells (i.e. non-empty composition of generators). The category pOpeSet is a presheaf category with the exponent being called the category of positive opetopes pOpe. Objects of pOpe are called positive opetopes and morphisms are face maps only. Since Poly has a full-on-isomorphisms embedding into the category of omega-categories oCat, we can think of morphisms in pOpe as omega-functors that send generators to generators. The category of positive opetopes with contractions pOpe_iota has the same objects and face maps pOpe, but in addition it has some degeneracy maps. A morphism in pOpe_iota is an omega-functor that sends generators to either generators or to identities on generators. We show that the category pOpe_iota is a test category.
The aim of this sequel to arXiv:1812.02935 is to set up the cornerstones of Koszul duality and Koszulity in the context of a large class of operadic categories. In particular, we will prove that operads, in the generalized sense of Batanin-Markl, gov erning important operad- and/or PROP-like structures such as the classical operads, their variants such as cyclic, modular or wheeled operads, and also diver
246 - Wei Ren , Zhongkui Liu 2014
Let $R$ be a commutative noetherian ring with a semi-dualizing module $C$. The Auslander categories with respect to $C$ are related through Foxby equivalence: $xymatrix@C=50pt{mathcal {A}_C(R) ar@<0.4ex>[r]^{Cotimes^{mathbf{L}}_{R} -} & mathcal {B}_C (R) ar@<0.4ex>[l]^{mathbf{R}mathrm{Hom}_{R}(C, -)}}$. We firstly intend to extend the Foxby equivalence to Cartan-Eilenberg complexes. To this end, C-E Auslander categories, C-E $mathcal{W}$ complexes and C-E $mathcal{W}$-Gorenstein complexes are introduced, where $mathcal{W}$ denotes a self-orthogonal class of $R$-modules. Moreover, criteria for finiteness of C-E Gorenstein dimensions of complexes in terms of resolution-free characterizations are considered.
We give an elementary and direct combinatorial definition of opetopes in terms of trees, well-suited for graphical manipulation and explicit computation. To relate our definition to the classical definition, we recast the Baez-Dolan slice constructio n for operads in terms of polynomial monads: our opetopes appear naturally as types for polynomial monads obtained by iterating the Baez-Dolan construction, starting with the trivial monad. We show that our notion of opetope agrees with Leinsters. Next we observe a suspension operation for opetopes, and define a notion of stable opetopes. Stable opetopes form a least fixpoint for the Baez-Dolan construction. A final section is devoted to example computations, and indicates also how the calculus of opetopes is well-suited for machine implementation.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا