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

Equational theories of endomorphism monoids of categories with a topological flavor

138   0   0.0 ( 0 )
 نشر من قبل Mikhail Volkov
 تاريخ النشر 2020
  مجال البحث
والبحث باللغة English




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

It is shown that the endomorphism monoids of the category $2mathfrak{Cob}$ of all $2$-cobordisms do not have finitely axiomatizable equational theories. The same holds for the {topological annular category} and various quotients of the latter, like the affine Temperley--Lieb category. Analogous results are obtained f



قيم البحث

اقرأ أيضاً

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 new syntax independent definition of the notion of a generalized algebraic theory as an initial object in a category of categories with families (cwfs) with extra structure. To this end we define inductively how to build a valid signature $ Sigma$ for a generalized algebraic theory and the associated category of cwfs with a $Sigma$-structure and cwf-morphisms that preserve this structure on the nose. Our definition refers to uniform families of contexts, types, and terms, a purely semantic notion. Furthermore, we show how to syntactically construct initial cwfs with $Sigma$-structures. This result can be viewed as a generalization of Birkhoffs completeness theorem for equational logic. It is obtained by extending Castellan, Clairambault, and Dybjers construction of an initial cwf. We provide examples of generalized algebraic theories for monoids, categories, categories with families, and categories with families with extra structure for some type formers of dependent type theory. The models of these are internal monoids, internal categories, and internal categories with families (with extra structure) in a category with families.
58 - Liang Kong , Hao Zheng 2021
In this second part of a series work, we further develop the theory of higher fusion categories, including center functors, centralizers and group theoretic higher fusion categories. Along the way we prove several conjectures on modular extensions an d the representation categories of finite higher groups.
269 - Adam A. Allan 2011
Motivated by recent problems regarding the symmetry of Hecke algebras, we investigate the symmetry of the endomorphism algebra $E_P(M)$ for $P$ a $p$-group and $M$ a $kP$-module with $k$ a field of characteristic $p$. We provide a complete analysis f or cyclic $p$-groups and the dihedral 2-groups. For the dihedral 2-groups, this requires the classification of the indecomposable modules in terms of string modules and band modules. We generalize our techniques to consider $E_{Lambda}(M)$ for $Lambda$ a Nakayama algebra, a local algebra, or even an arbitrary algebra.
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.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

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