Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userThe Lawvere condition and a classification theorem for Maltsev categories
173
0
0.0
(
0
)
Authors
Nelson Martins-Ferreira
Ask ChatGPT about the research
No Arabic abstract
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.
rate research
Read More
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 the 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].
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 also 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.
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.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
