ﻻ يوجد ملخص باللغة العربية
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.
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
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
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
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.