---
title: Weakly Mal'tsev Objects
url: https://www.emergentmind.com/topics/weakly-mal-tsev-object
type: topic
---

# Weakly Mal'tsev Objects

Searching arXiv for recent and foundational papers on weakly Mal'tsev objects and adjacent Mal'tsev notions.
A **weakly Mal'tsev object** is an objectwise localization of the weakly Mal'tsev condition from categorical algebra. In the formulation introduced for categories with **local products**, an object \(D\) is weakly Mal'tsev when every kite diagram over \(D\) admits **at most one** compatible morphism from the associated local product; equivalently, the notion isolates a local uniqueness principle that behaves like cancellation in concrete algebraic examples [2508.13315]. The concept belongs to a broader Mal'tsev hierarchy that includes naturally Mal'tsev categories, Mal'tsev categories, and several objectwise conditions such as unital, strongly unital, subtractive, Mal'tsev, and protomodular objects; however, the explicit notion of **weakly Mal'tsev object** is distinct from these nearby notions and was not developed in the earlier objectwise literature [1606.08649].

## 1. Formal definition

Let \(C\) be a category with local products. A **local product** is a pullback square of split epimorphisms
\[
\vcenter{\xymatrix{ A \ar@<-.5ex>[r]_-{e_1} & E \ar@<-.5ex>[l]_-{p_1} \ar@<.5ex>[r]^-{p_2} & C \ar@<.5ex>[l]^-{e_2} }}
\]
with \(p_1e_1=1_A\) and \(p_2e_2=1_C\), where \(E\) is the pullback of a split epimorphism \(g\) along another split epimorphism \(f\) [2508.13315].

In this setting, an object \(D\) is called a **weakly Mal'tsev object** if, for every kite diagram over \(D\),
\[
\vcenter{\xymatrix@!0@=4em{
A \ar@<.5ex>[r]^-{f} \ar[rd]_-{\alpha} & B
\ar@<.5ex>[l]^-{r}
\ar@<-.5ex>[r]_-{s}
\ar[d]^-{\beta} & C \ar@<-.5ex>[l]_-{g} \ar[ld]^-{\gamma} \\
& D
}}
\]
with
\[
fr=1_B=gs,\qquad \alpha r=\beta=\gamma s,
\]
there exists **at most one** morphism
\[
\varphi\colon A\times_B C \to D
\]
such that
\[
\varphi e_1=\alpha,\qquad \varphi e_2=\gamma.
\]
When such a morphism exists, the diagram is said to be **admissible**, and \(\varphi\) is the **admissibility morphism** [2508.13315].

Two points are intrinsic to the definition. First, the ambient category is only required to have local products. Second, the condition is a **uniqueness** condition: existence of \(\varphi\) is not required in general. This distinguishes weakly Mal'tsev objects from stronger Mal'tsev-type conditions formulated by existence-and-uniqueness principles.

The same source denotes by
\[
C^* := \text{the full subcategory of } C \text{ consisting of its weakly Mal'tsev objects.}
\]
This notation emphasizes that weak weak Mal'tsev behavior can be studied objectwise even when the ambient category is not globally weakly Mal'tsev [2508.13315].

## 2. Position in the Mal'tsev hierarchy

The weakly Mal'tsev object notion is designed to localize the corresponding categorical property. In particular, a category is weakly Mal'tsev if and only if every one of its objects is a weakly Mal'tsev object [2508.13315]. Thus the objectwise notion is not merely analogous to the categorical one; it recovers it exactly by quantifying over all objects.

At category level, the weakly Mal'tsev condition is classically formulated using pullbacks of split epimorphisms. In a finitely complete category, weakly Mal'tsev means that the canonical maps
\[
e_1\colon X\to X\times_Z Y,\qquad e_2\colon Y\to X\times_Z Y
\]
are jointly epimorphic in every pullback of split epimorphisms along split epimorphisms [2403.09478]. In the earlier structural account of Martins-Ferreira and Van der Linden, a category is weakly Mal'tsev when it has split pullbacks and every induced pair of morphisms into the pullback \((e_1,e_2)\) is jointly epimorphic; with equalisers, this is equivalent to every **strong relation** being difunctional [1206.2745].

This places weakly Mal'tsev objects within a three-level hierarchy. The 2025 span-based synthesis organizes the hierarchy as follows: **naturally Mal'tsev** categories correspond to the strongest span class \(M_0\), **Mal'tsev** categories to \(M_1\), and **weakly Mal'tsev** categories to \(M_2\), the class of spans \((D,d,c)\) such that kernel pairs of \(d\) and \(c\) exist and \((d,c)\) is jointly strongly monic [2508.13315]. In parallel, the 2012 study characterizes naturally Mal'tsev categories by uniqueness of internal groupoid structures on reflexive graphs, Mal'tsev categories by the fact that every reflexive relation is an equivalence relation, and weakly Mal'tsev categories by the analogous condition restricted to **strong relations** [1206.2745].

A crucial distinction is that weakly Mal'tsev is genuinely weaker than Mal'tsev. In weakly Mal'tsev categories with kernel pairs and equalisers, the forgetful functor
\[
U_2 : \mathrm{Cat}(\mathcal C) \to \mathrm{MG}(\mathcal C)
\]
is an isomorphism, so every internal category is determined by its underlying multiplicative graph; however,
\[
U_3 : \mathrm{Grpd}(\mathcal C) \to \mathrm{Cat}(\mathcal C)
\]
is an isomorphism only if every internal preorder is an equivalence relation [1206.2745]. Thus weakly Mal'tsev behavior controls uniqueness of composition data more weakly than the full Mal'tsev property controls invertibility.

## 3. Kites, local products, and the uniqueness principle

The technical core of the weakly Mal'tsev object definition is the **kite**. Given a kite
\[
\vcenter{\xymatrix@!0@=4em{
A \ar@<.5ex>[r]^-{f} \ar[rd]_-{\alpha} & B \ar@<.5ex>[l]^-{r} \ar@<-.5ex>[r]_-{s} \ar[d]^-{\beta} & C \ar@<-.5ex>[l]_-{g} \ar[ld]^-{\gamma} \\
& D
}}
\]
with
\[
fr=1_B=gs,\qquad \alpha r=\beta=\gamma s,
\]
the associated local product has pullback object \(A\times_B C\) and induced maps
\[
e_1=\langle 1_A,sf\rangle,\qquad e_2=\langle rg,1_C\rangle.
\]
The weakly Mal'tsev object condition says that there is at most one morphism \(\varphi\colon A\times_B C\to D\) extending \(\alpha\) and \(\gamma\) along \(e_1\) and \(e_2\) [2508.13315].

This can be read as an objectwise admissibility criterion. The object \(D\) does not force all kites to be admissible, but whenever a compatible filler exists, it is unique. A plausible implication is that weakly Mal'tsev objects capture the **uniqueness** half of a Mal'tsev-like extension property without imposing the stronger existence requirements typical of naturally Mal'tsev contexts.

The same paper introduces the **Kite Condition**, a stronger global condition formulated for diagrams
\[
\vcenter{\xymatrix@!0@=4em{
& E \ar[dd]^-{\beta} \ar@<.5ex>[dl]^-{p_1} \ar@<-.5ex>[dr]_-{p_2}
\\
A \ar@<.5ex>[ru]^-{e_1} \ar[rd]_-{\alpha} & & C \ar@<-.5ex>[lu]_-{e_2} \ar[ld]^-{\gamma}
\\
& D\ar[dl]_{c}\ar[rd]^{d}
\\
D_0&&D_1
}}
\]
subject to
\[
p_1e_1=1_A,\quad p_2e_2=1_C,
\]
\[
(e_1p_1)(e_2p_2)=(e_2p_2)(e_1p_1),
\]
\[
\alpha(p_1e_2p_2)=\beta=\gamma(p_2e_1p_1),
\]
\[
d\alpha p_1=d\alpha(p_1e_2p_2),\qquad c\gamma p_2=c\gamma(p_2e_1p_1),
\]
together with kernel-pair assumptions for \(d\) and \(c\). Under these hypotheses there exists a unique \(m\colon E\to D\) with
\[
me_1=\alpha,\qquad me_2=\gamma,\qquad dm=d\gamma p_2,\qquad cm=c\alpha p_1.
\]
For \(M=M_2\), this yields the weakly Mal'tsev case in the paper’s unification theorem [2508.13315].

The emphasis on kites and local products connects the objectwise uniqueness condition to the older characterizations of weakly Mal'tsev categories by strong relations and universal filler properties. In the 2012 analysis, the weakly Mal'tsev condition is equivalent to a universal property for strong relations and to the statement that every reflexive strong relation is an equivalence relation, a preorder, or transitive [1206.2745]. The objectwise theory retains the same formal geometry but relocates it from ambient-category structure to a condition on a fixed codomain object.

## 4. Algebraic characterizations and examples

The objectwise definition has concrete algebraic consequences, expressed as uniqueness-of-solution conditions.

In the category of **commutative magmas**, the following are equivalent:

1. \(D\) is weakly Mal'tsev.
2. \(D\) is cancellative:
   \[
   x\cdot b=y\cdot b \implies x=y.
   \]
3. For any \(a,b,c\in D\), the equation
   \[
   x\cdot b=a\cdot c
   \]
   has at most one solution \(x\in D\).

Hence
\[
\mathbf{CMag}^*=\mathbf{CCMag}.
\]
This identifies weakly Mal'tsev objects with cancellative commutative magmas; the same source notes that associativity is irrelevant to weak Mal'tsev-ness in this example [2508.13315].

In the category of **commutative dimagmas** \(D=(D,\cdot,+)\), weakly Mal'tsev objects are characterized by **joint cancellation**:
\[
x\cdot b=y\cdot b \text{ and } x+b=y+b \implies x=y,
\]
equivalently, the system
\[
\begin{cases}
x\cdot b=a\cdot c\\
x+b=a+c
\end{cases}
\]
has at most one solution \(x\) [2508.13315].

In **unary monoids** \(D=(D,\cdot,1,\bar{(\,)})\), the condition becomes the uniqueness of solutions to
\[
x\bar{b}b=a\bar{b}c.
\]
The paper presents these examples as evidence that the abstract kite condition encodes a broad cancellation phenomenon [2508.13315].

Other explicitly identified examples are equally striking. The same paper states
\[
\mathbf{Lat}^*=\mathbf{DLat},
\]
so a lattice is a weakly Mal'tsev object if and only if it is distributive, and
\[
\mathbf{CSmg}^*=\mathbf{CCSmg},
\]
so weakly Mal'tsev objects in commutative semigroups are precisely the cancellative ones [2508.13315]. It also lists broader examples of weakly Mal'tsev categories, including distributive lattices, commutative magmas with cancellation, preordered groups, and the dual of the category of topological spaces.

These examples align with the syntactic theory of weakly Mal'tsev **varieties**. A finitary one-sorted variety is weakly Mal'tsev if and only if it admits a finite family of terms
\[
f_i,g_i,\ p_j,\ s_i,\ \sigma_i,\ \eta^{(i)}_\alpha,\ \epsilon^{(i)}_\alpha
\]
satisfying a chain of identities rather than a single Mal'tsev term [2403.09478]. The distributive lattice case is one of the main applications: distributive lattices are weakly Mal'tsev even though they are not Mal'tsev in general [2403.09478]. This provides a variety-level explanation for why distributivity reappears in the objectwise classification \(\mathbf{Lat}^*=\mathbf{DLat}\).

## 5. Comparison with Mal'tsev objects and adjacent local notions

Weakly Mal'tsev objects should not be conflated with **Mal'tsev objects**. In the objectwise theory of Montoli, Rodelo, and Van der Linden, developed in the finitely complete setting, an object \(Y\) is a **Mal'tsev object** if the fibre category
\[
\mathrm{Pt}_Y(\mathcal C)
\]
is **unital** [1606.08649]. Equivalently, for every pullback of split epimorphisms over \(Y\), the canonical maps
\[
\langle 1_A, tf\rangle \quad\text{and}\quad \langle sg, 1_C\rangle
\]
are jointly strongly epimorphic. This is a stronger condition than weak weak-Mal'tsev uniqueness of admissibility morphisms.

The same paper builds a local hierarchy:
\[
\text{protomodular} \implies \text{Mal'tsev} \implies \text{strongly unital} \implies \text{unital},
\]
with
\[
\text{strongly unital} \iff \text{unital and subtractive}
\]
in a pointed regular category [1606.08649]. These notions are adjacent to weakly Mal'tsev objects by analogy, but they are not the same notion. The authors explicitly state that the paper does **not** define or discuss weakly Mal'tsev objects.

The 2023 comparison of object-level Mal'tsev notions sharpens this distinction further. It compares **W-Mal'tsev objects** in the sense of Weighill—defined via difunctionality of all induced Set-relations on hom-sets out of the object—with **Mal'tsev objects** in the sense of Montoli–Rodelo–Van der Linden, defined via the fibration of points [2311.17628]. Under regularity and binary coproducts,
\[
M(\mathcal C)\subseteq W(\mathcal C),
\]
so Mal'tsev objects are stronger than W-Mal'tsev objects [2311.17628]. That paper also states explicitly that it does **not** develop a separate theory of weakly Mal'tsev objects; weakly Mal'tsev categories appear there only as ambient context.

Concrete categories show how these distinctions behave. In \(\mathbf{Mon}\), Mal'tsev objects and protomodular objects are exactly groups:
\[
\mathcal M(\mathbf{Mon})=\mathcal P(\mathbf{Mon})=\mathbf{Gp}
\]
[1606.08649]. The 2023 comparison recalls that in \(\mathbf{Mon}\),
\[
W(\mathbf{Mon}) = M(\mathbf{Mon}) = \mathbf{Grp}
\]
as well [2311.17628]. By contrast, weakly Mal'tsev behavior at category level is formally weaker than Mal'tsev, and the objectwise weakly Mal'tsev notion is designed to capture a still different localization of that weaker property.

A plausible implication is that the term “weakly Mal'tsev object” now occupies a precise conceptual slot between global weakly Mal'tsev ambient structure and the earlier local theories based on points or difunctionality. It is not a renaming of those earlier notions, but a new local form of the weakly Mal'tsev axiom.

## 6. Scope, examples of strictness, and surrounding contexts

The weakly Mal'tsev condition is strictly weaker than the Mal'tsev condition both categorically and in varieties. The 2012 paper constructs weakly Mal'tsev quasivarieties that are still Goursat but not Mal'tsev, including a modification of Mitschke’s example with implication algebras satisfying
\[
(xy)x=x,\qquad (xy)y=(yx)x,\qquad x(yz)=y(xz),
\]
where the resulting sub-quasivariety \(\mathbb W\) is weakly Mal'tsev and Goursat but not Mal'tsev because \(RS\neq SR\) for specific kernel relations [1206.2745]. The 2024 syntactic work likewise emphasizes that weakly Mal'tsev is a genuine weakening: a weakly Mal'tsev variety is characterized by a large finite family of terms, not by a single ternary Mal'tsev term [2403.09478].

The 2025 paper also stresses that weakly Mal'tsev objects remain meaningful under weak ambient assumptions: only local products are required for the definition, and in the broader structural theorem only suitable kernel-pair assumptions on the class \(M_2\) are needed [2508.13315]. This mirrors the earlier observation that the main characterizations of naturally Mal'tsev, Mal'tsev, and weakly Mal'tsev categories can be proved without assuming binary products, working instead with kernel pairs and split pullbacks [1206.2745].

There are also significant ambient contexts in which related objectwise notions become highly nontrivial. In \((V\text{-Cat})^{op}\), which is recalled to be a weakly Mal'tsev category, W-Mal'tsev objects are exactly the symmetric \(V\)-categories, whereas Mal'tsev objects can collapse to the empty \(V\)-category when \(V\) is non-cartesian [2311.17628]. This does not provide a characterization of weakly Mal'tsev objects in that sense, but it shows that local Mal'tsev-type notions may diverge sharply once one moves away from classical algebraic categories.

Finally, the topological literature around Mal'tsev operations supplies useful contrast rather than a direct source of weakly Mal'tsev objects. In the study of free topological Mal'tsev algebras, a Mal'tsev topological algebra is defined by a continuous ternary operation \(p\) satisfying
\[
p(x,y,y)=x,\qquad p(y,y,x)=x,
\]
and varieties with such a term are exactly the congruence-permutable ones [2412.10379]. That framework concerns the classical strong Mal'tsev identity, not the weakly Mal'tsev object notion. This suggests that weakly Mal'tsev objects should be viewed not as objects carrying a ternary Mal'tsev operation, but as objects satisfying a local uniqueness property for admissibility across kites and local products.

In summary, a weakly Mal'tsev object is an objectwise incarnation of the weak weak-Mal'tsev axiom: every compatible local-product extension into the object is unique when it exists [2508.13315]. Its concrete manifestations are cancellation phenomena, its categorical background is the theory of strong relations and split pullbacks, and its significance lies in separating a genuinely weaker local uniqueness principle from the stronger frameworks of Mal'tsev operations, Mal'tsev objects, and protomodularity.

Source: https://www.emergentmind.com/topics/weakly-mal-tsev-object