Related papers: Mal'cev conditions corresponding to identities for…
In a previous paper (From congruence identities to tolerance identities, in print on Acta Sci. Math. Szeged) we showed that, under certain conditions, a variety satisfies a given congruence identity if and only if it satisfies the same…
Matrix conditions extend linear Mal'tsev conditions from Universal Algebra to exactness properties in Category Theory. Some can be stated in the finitely complete context while, in general, they can only be stated for regular categories. We…
We initiate the systematic study of loop conditions of arbitrary finite width. Each loop condition is a finite set of identities of a particular shape, and satisfaction of these identities in an algebra is characterized by it forcing a…
The notion of a weakly Mal'tsev category, as it was introduced in 2008 by the third author, is a generalization of the classical notion of a Mal'tsev category. It is well-known that a variety of universal algebras is a Mal'tsev category if…
We derive consequences from the existence of a term which satisfies Mal'cev identities (characterizing permutability) modulo two functions F and G from admissible relations to admissible relations. We also provide characterizations of…
The original Lawvere condition asserts that every reflexive graph admits a unique natural structure of internal groupoid. This property was identified by P. T. Johnstone, following a question by A. Carboni and a suggestion by F. W. Lawvere,…
A classification theorem for three different sorts of Mal'tsev categories is proven. The theorem provides a classification for Mal'tsev category, naturally Malt'sev category, and weakly Mal'tsev category in terms of classifying classes of…
In this paper, we show that under the condition $ 1<p_-, q_-, p_+, q_+<\infty$, the space $\ell^{q(\cdot)} (L^{p(\cdot)})$ is reflexive. In this way we give an answer to open problem posed by H\"ast\"o in 2017 about the reflexivity of the…
Meet semidistributive varieties are in a sense the last of the most important classes in universal algebra for which it is unknown whether it can be characterized by a strong Maltsev condition. We present a new, relatively simple Maltsev…
By a result of Horv\'ath the equation solvability problem over finite nilpotent groups and rings is in P. We generalize his result, showing that the equation solvability over every finite supernilpotent Mal'cev algebra is in P. We also give…
In the paper we completely describe the set of all solutions of a recursive equation, arising from the Bethe lattice models over $p$-adic numbers.
We explore a hierarchy of notions in categorical algebra: Mal'tsev categories (where every reflexive relation is symmetric); naturally Mal'tsev categories (where every reflexive graph underlies a unique internal groupoid structure, also…
It is well known that an equivalence relation is invariant under the basic operations of an algebra if and only if it is invariant under the unary polynomials of the algebra. We show that a higher arity version of this property holds for a…
We derive a Mal'cev condition for congruence meet-semidistributivity and then use it to prove two theorems. Theorem A: if a variety in a finite language is congruence meet-semidistributive and residually less than some finite cardinal, then…
Mal'tsev categories turned out to be a central concept in categorical algebra. On one hand, the simplicity and the beauty of the notion is revealed through a lot of characterizations of different flavour. Depending on the context, one can…
We revisit the ladder operators for orthogonal polynomials and re-interpret two supplementary conditions as compatibility conditions of two linear over-determined systems; one involves the variation of the polynomials with respect to the…
Via a random construction we establish necessary conditions for $L^p(\ell^q)$ inequalities for certain families of operators arising in harmonic analysis. In particular we consider dilates of a convolution kernel with compactly supported…
The paper discusses P$_{III-V}$ equation for special values of its parameters for which this equation reduces to P$_{III}$, I$_{12}$, as well as, to some special cases of I$_{38}$ and I$_{49}$ equations from the Ince's list of $50$ second…
This paper continues the investigation of the logic of competing theories, be they scientific, social, political etc. We introduce a many-valued, multi-type modal language which we endow with relational semantics based on enriched reflexive…
We prove that Mal'tsev and Goursat categories may be characterised through stronger variations of the Shifting Lemma, that is classically expressed in terms of three congruences $R$, $S$ and $T$, and characterises congruence modular…