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

The Lawvere condition and a classification theorem for Maltsev categories

173   0   0.0 ( 0 )
 نشر من قبل Nelson Martins-Ferreira
 تاريخ النشر 2019
  مجال البحث
والبحث باللغة English




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

A classification theorem for three different sorts of Maltsev categories is proven. The theorem provides a classification for Maltsev category, naturally Maltsev category, and weakly Maltsev category in terms of classifying classes of spans. The class of all spans characterizes naturally Maltsev categories. The class of relations (i.e. jointly monomorphic spans) characterizes Maltsev categories. The class of strong relations (i.e. jointly strongly monomorphic spans) characterizes weakly Maltsev categories. The result is based on the uniqueness of internal categorical structures such as internal category and internal groupoid (Lawvere condition). The uniqueness of these structures is viewed as a property on their underlying reflexive graphs, restricted to the classifying spans. The class of classifying spans is combined, via a new compatibility condition, with split squares. This is analogous to orthogonality between spans and cospans. The result is a general classifying scheme which covers the main characterizations for Maltsev like categories. The class of positive relations has recently been shown to characterize Goursat categories and hence it is a new example that fits in this general scheme.



قيم البحث

اقرأ أيضاً

169 - Nguyen Tien Quang 2007
This paper presents the proof of the coherence theorem for Ann-categories whose set of axioms and original basic properties were given in [9]. Let $$A=(A,{Ah},c,(0,g,d),a,(1,l,r),{Lh},{Rh})$$ be an Ann-category. The coherence theorem states that in t he category $ A$, any morphism built from the above isomorphisms and the identification by composition and the two operations $tx$, $ts$ only depends on its source and its target. The first coherence theorems were built for monoidal and symmetric monoidal categories by Mac Lane [7]. After that, as shown in the References, there are many results relating to the coherence problem for certain classes of categories. For Ann-categories, applying Hoang Xuan Sinhs ideas used for Gr-categories in [2], the proof of the coherence theorem is constructed by faithfully ``embedding each arbitrary Ann-category into a quite strict Ann-category. Here, a {it quite strict} Ann-categogy is an Ann-category whose all constraints are strict, except for the commutativity and left distributivity ones. This paper is the work continuing from [9]. If there is no explanation, the terminologies and notations in this paper mean as in [9].
124 - John D. Berman 2019
We survey Lawvere theories at the level of infinity categories, as an alternative framework for higher algebra (rather than infinity operads). From a pedagogical perspective, they make many key definitions and constructions less technical. They are a lso better-suited than operads for equivariant homotopy theory and its relatives. Our main result establishes a universal property for the infinity category of Lawvere theories, which completely characterizes the relationship between a Lawvere theory and its infinity category of models. Many familiar properties of Lawvere theories follow directly. As a consequence, we prove that the Burnside category is a classifying object for additive categories, as promised in an earlier paper, and as part of a more general correspondence between enriched Lawvere theories and module Lawvere theories.
129 - Niles Johnson , Donald Yau 2019
We prove a bicategorical analogue of Quillens Theorem A. As an application, we deduce the well-known result that a pseudofunctor is a biequivalence if and only if it is essentially surjective on objects, essentially full on 1-cells, and fully faithful on 2-cells.
We study a 2-functor that assigns to a bimodule category over a finite k-linear tensor category a k-linear abelian category. This 2-functor can be regarded as a category-valued trace for 1-morphisms in the tricategory of finite tensor categories. It is defined by a universal property that is a categorification of Hochschild homology of bimodules over an algebra. We present several equivalent realizations of this 2-functor and show that it has a coherent cyclic invariance. Our results have applications to categories associated to circles in three-dimensional topological field theories with defects. This is made explicit for the subclass of Dijkgraaf-Witten topological field theories.
In this paper we state some applications of Gr-category theory on the classification of crossed modules and on the classification of extensions of groups of the type of a crossed module.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

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