相关论文: A syntactic characterization of weakly Mal'tsev va…

In this paper we introduce a notion of Mal'tsev object, and the dual notion of co-Mal'tsev object, in a general category. In particular, a category $\mathbb{C}$ is a Mal'tsev category if and only if every object in $\mathbb{C}$ is a…

The Mal'tsev product of two varieties of similar algebras is always a quasivariety. We consider the question of when this quasivariety is a variety. The main result asserts that if $\mathcal{V}$ is a strongly irregular variety with no…

A lattice $L$ is said lowly finite if the set $[\mathsf{0},a]$ is finite for every element $a$ of $L$. We mainly aim to provide a complete proof that, if $M$ is a subset of a complete lowly finite distributive lattice $L$ containing its…

We prove that a regular category $\mathcal C$ is a Mal'tsev category if and only if a strong form of the denormalised $3 \times 3$ Lemma holds true in $\mathcal C$. In this version of the $3 \times 3$ Lemma, the vertical exact forks are…

This paper presents a self-contained new theory of weak fractional differential calculus in one-dimension. The crux of this new theory is the introduction of a weak fractional derivative notion which is a natural generalization of integer…

In universal algebra, it is well known that varieties admitting a majority term admit several Mal'tsev-type characterizations. The main aim of this paper is to establish categorical counterparts of some of these characterizations for…

We present a proof that there is no single finite package of identities which characterizes the class of congruence meet semidistributive varieties.

We introduce a general categorical framework for the definition of weak behavioural equivalences, building on and extending recent results in the field. This framework is based on parametrized saturation categories, i.e. categories whose…

This paper is concerned with the taxonomy of finitely complete categories, based on 'matrix properties' - these are a particular type of exactness properties that can be represented by integer matrices. In particular, the main result of the…

We study the dependent type theory CaTT, introduced by Finster and Mimram, which presents the theory of weak $\omega$-categories, following the idea that type theories can be considered as presentations of generalized algebraic theories.…

We study a new class of so-called rational-infinitely (or quasi-infinitely) divisible probability laws on the real line. The characteristic functions of these distributions are ratios of the characteristic functions of classical infinitely…

In this article, the interplay between Vop\v{e}nka's principle, as well as its weaker counterpart, and presentable $\infty$-categories is studied. Analogous statements, arising after replacing categories with $\infty$-categories in the…

We investigate Mal'cev conditions described by equations whose variables runs over the set of all compatible reflexive relations. Let $p \leq q$ be an equation in the language $\{\wedge, \circ,+\}$. We give a characterization of the class…

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…

Reasoning about weak higher categorical structures constitutes a challenging task, even to the experts. One principal reason is that the language of set theory is not invariant under the weaker notions of equivalence at play, such as…

It is known that any finite idempotent algebra that satisfies a nontrivial Maltsev condition must satisfy the linear one-equality Maltsev condition (a variant of the term discovered by M. Siggers and refined by K. Kearnes, P. Markovi\'c,…

This text is devoted to the theory of varieties, which provides an important tool, based in universal algebra, for the classification of regular languages. In the introductory section, we present a number of examples that illustrate and…

We develop the theory of weak Fraisse categories, where the crucial concept is the weak amalgamation property, discovered relatively recently in model theory. We show that, in a suitable framework, every weak Fraisse category has its unique…

Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the starting point, in this paper we introduce some varieties of lattices expanded with normal modal operators which can be regarded as the natural rough…

We introduce the notion of a majority category --- the categorical counterpart of varieties of universal algebras admitting a majority term. This notion can be thought to capture properties of the category of lattices, in a way that…