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

We show that, for a quantale $V$ and a $\mathsf{Set}$-monad $\mathbb{T}$ laxly extended to $V$-$\mathsf{Rel}$, the presheaf monad on the category of $(\mathbb{T},V)$-categories is simple, giving rise to a lax orthogonal factorisation system (\textsc{lofs}) whose corresponding weak factorisation system has embeddings as left part. In addition, we present presheaf submonads and study the LOFSs they define. Read More

Let $\mathbb{K}$ be an infinite field. We prove that if a variety of alternating $\mathbb{K}$-algebras (not necessarily associative, where $xx=0$ is a law) is locally algebraically cartesian closed, then it must be a variety of Lie algebras over $\mathbb{K}$. In particular, $\mathsf{Lie}_{\mathbb{K}}$ is the largest such. Read More

It is proved that a norm-decreasing homomorphism of commutative Banach algebras is an effective descent morphism for Banach modules if and only if it is a weak retract. Read More

In this short note we prove that distributors between groupoids form the bicategory of relations relative to the comprehensive factorization system. An internal version of this result is under investigation. Read More

We present a categorical construction for modelling both definite and indefinite causal structures within a general class of process theories that include classical probability theory and quantum theory. Unlike prior constructions within categorical quantum mechanics, the objects of this theory encode finegrained causal relationships between subsystems and give a new method for expressing and deriving consequences for a broad class of causal structures. To illustrate this point, we show that this framework admits processes with definite causal structures, namely one-way signalling processes, non-signalling processes, and quantum n-combs, as well as processes with indefinite causal structure, such as the quantum switch and the process matrices of Oreshkov, Costa, and Brukner. Read More

Reasoning in the 2-category Con of contexts, certain sketches for arithmetic universes (i.e. list arithmetic pretoposes; AUs), is shown to give rise to base-independent results of Grothendieck toposes, provided the base elementary topos has a natural numbers object. Read More

We show that the idempotent completion of an n-angulated category admits a unique n-angulated structure such that the inclusion is an n-angulated functor, which satisfies a universal property. Read More

We explicitely construct an SO(2)-action on a skeletal version of the 2-dimensional framed bordism bicategory. By the 2-dimensional Cobordism Hypothesis for framed manifolds, we obtain an SO(2)-action on the core of fully-dualizable objects of the target bicategory. This action is shown to coincide with the one given by the Serre automorphism. Read More

In this paper we investigate important categories lying strictly between the Kleisli category and the Eilenberg--Moore category, for a Kock-Z\"oberlein monad on an order-enriched category. Firstly, we give a characterisation of free algebras in the spirit of domain theory. Secondly, we study the existence of weighted (co)limits, both on the abstract level and for specific categories of domain theory like the category of algebraic lattices. Read More

We study the action of monads on categories equipped with several monoidal structures. We identify the structure and conditions that guarantee that the higher monoidal structure is inherited by the category of algebras over the monad. Monoidal monads and comonoidal monads appear as the base cases in this hierarchy. Read More