Two characterisations of groups amongst monoids

The aim of this paper is to solve a problem proposed by Dominique Bourn: to provide a categorical-algebraic characterisation of groups amongst monoids and of rings amongst semirings. In the case of monoids, our solution is given by the following equivalent conditions: (i) $G$ is a group; (ii) $G$ is a Mal'tsev object, i.e., the category of points over $G$ in the category of monoids is unital; (iii) $G$ is a protomodular object, i.e., all points over $G$ are stably strong. We similarly characterise rings in the category of semirings. On the way we develop a local or object-wise approach to certain important conditions occurring in categorical algebra. This leads to a basic theory involving what we call unital and strongly unital objects, subtractive objects, Mal'tsev objects and protomodular objects. We explore some of the connections between these new notions and give examples and counterexamples.

Comments: 29 pages

Similar Publications

This paper presents a description of the fourth dimension quotient, using the theory of limits of functors from the category of free presentations of a given group to the category of abelian groups. A functorial description of a quotient of the third Fox subgroup is given and, as a consequence, an identification (not involving an isolator) of the third Fox subgroup is obtained. It is shown that the limit over the category of free representations of the third Fox quotient represents the composite of two derived quadratic functors. Read More

Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits and quantum processes. In many such approaches, the semantic interpretation for diagrams is given in terms of relations or corelations (generalised equivalence relations) of some kind. In this paper we show how semantic categories of both relations and corelations can be characterised as colimits of simpler categories. Read More

We prove existence results for small presentations of model categories generalizing a theorem of D. Dugger from combinatorial model categories to more general model categories. Some of these results are shown under the assumption of Vop\v{e}nka's principle. Read More

We attach buildings to modular lattices and use them to develop a metric approach to Harder-Narasimhan filtrations. Switching back to a categorical framework, we establish an abstract numerical criterion for the compatibility of these filtrations with tensor products. We finally verify our criterion in three cases, one of which is new. Read More

We extend the Weil representation of infinite-dimensional symplectic group to a representation a certain category of linear relations. Read More

We prove that the category of trees $\Omega$ is a test category in the sense of Grothendieck. This implies that the category of dendroidal sets is endowed with the structure of a model category Quillen-equivalent to spaces. We show that this model category structure, up to a change of cofibrations, can be obtained as an explicit left Bousfield localisation of the operadic model category structure. Read More

We compute the group of braided tensor autoequivalences and the Brauer-Picard group of the representation category of the small quantum group $\mathfrak{u}_q(\mathfrak{g})$, where $q$ is a root of unity. Read More

Given the pair of a dualizing $k$-variety and its functorially finite subcategory, we show that there exists a recollement consisting of their functor categories of finitely presented objects. We provide several applications for Auslander's formulas: The first one realizes a module category as a Serre quotient of a suitable functor category. The second one shows a close connection between Auslander-Bridger sequences and recollements. Read More

In this article we analyze morphisms of homogeneous and mixed distributive laws as well as liftings of parametric adjunctions with a 2-adjunction of the type $Adj$-$Mnd$. In order to do so, we check the definition of adjoint objects in the 2-category of adjunctions and in the 2-category of monads for $Cat$. We finalize the article with the application of the obtained results on current categorical characterization of Hopf Monads. Read More

Building upon Hovey's work on Smith ideals for monoids, we develop a homotopy theory of Smith ideals for general operads in a symmetric monoidal category. For a sufficiently nice stable monoidal model category and an operad satisfying a cofibrancy condition, we show that there is a Quillen equivalence between a model structure on Smith ideals and a model structure on algebra maps induced by the cokernel and the kernel. For symmetric spectra this applies to the commutative operad and all Sigma-cofibrant operads. Read More