اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدWeights for Objects of Monoids
179
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
The main objective of the paper is to define the construction of the object of monoids, over a monoidal category object in any 2-category with finite products, as a weighted limit. To simplify the definition of the weight, we use matrices of symmetric (possibly colored) operads that define some auxiliary categories and 2-categories. Systematic use of these matrices of operads allows us to define several similar objects as weighted limits. We show, among others, that the constructions of the object of bi-monoids over a symmetric monoidal category object or the object of actions of monoids along an action of a monoidal category object can be also described as weighted limits.
قيم البحث
اقرأ أيضاً
It is shown that the category of emph{semi-biproducts} of monoids is equivalent to the category of emph{pseudo-actions}. A semi-biproduct of monoids is a new notion, obtained through generalizing a biproduct of commutative monoids. By dropping commut
ativity and requiring some of the homomorphisms in the biproduct diagram to be merely identity-preserving maps, we obtain a semi-biproduct. A pseudo-action is a new notion as well. It consists of three ingredients: a pre-action, a factor system and a correction system. In the category of groups all correction systems are trivial. This is perhaps the reason why this notion, to the authors best knowledge, has never been considered before.
We compute coherent presentations of Artin monoids, that is presentations by generators, relations, and relations between the relations. For that, we use methods of higher-dimensional rewriting that extend Squiers and Knuth-Bendixs completions into a
homotopical completion-reduction, applied to Artins and Garsides presentations. The main result of the paper states that the so-called Tits-Zamolodchikov 3-cells extend Artins presentation into a coherent presentation. As a byproduct, we give a new constructive proof of a theorem of Deligne on the actions of an Artin monoid on a category.
Properties of preordered monoids are investigated and important subclasses of such structures are studied. The corresponding full subcategories of the category of preordered monoids are functorially related between them as well as with the categories
of preordered sets and monoids. Schreier split extensions are described in the full subcategory of preordered monoids whose preorder is determined by the corresponding positive cone.
We show that the category of cancellative conjugation semigroups is weakly Maltsev and give a characterization of all admissible diagrams there. In the category of cancellative conjugation monoids we describe, for Schreier split epimorphisms with cod
omain B and kernel X, all morphisms h from X to B which induce a reflexive graph, an internal category or an internal groupoid. We describe Schreier split epimorphisms in terms of external actions and consider the notions of precrossed semimodule, crossed semimodule and crossed module in the context of cancellative conjugation monoids. In this category we prove that a relative version of the so-called Smith is Huq condition for Schreier split epimorphisms holds as well as other relative conditions.
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.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
