Related papers: Congruence Preservation, Lattices and Recognizabil…
This is an introduction to the M\"obius function of a poset. The chief novelty is in the exposition. We show how order-preserving maps from one poset to another can be used to relate their M\"obius functions. We derive the basic results on…
We develop the theory of recollements in a stable $\infty$-categorical setting. In the axiomatization of Beilinson, Bernstein and Deligne, recollement situations provide a generalization of Grothendieck's "six functors" between derived…
Lorenzen's ``Algebraische und logistische Untersuchungen \"uber freie Verb\"ande'' appeared in 1951 in The journal of symbolic logic. These ``Investigations'' have immediately been recognised as a landmark in the history of infinitary proof…
J. Tuma proved an interesting "congruence amalgamation" result. We are generalizing and providing an alternate proof for it. We then provide applications of this result: --A.P. Huhn proved that every distributive algebraic lattice $D$ with…
We introduce two new operations (compositional products and implication) on Weihrauch degrees, and investigate the overall algebraic structure. The validity of the various distributivity laws is studied and forms the basis for a comparison…
The Leibniz bracket of an operator on a (graded) algebra is defined and some of its properties are studied. A basic theorem relating the Leibniz bracket of the commutator of two operators to the Leibniz bracket of them, is obtained. Under…
In 2014, C\'egielski, Grigorieff and Guessarian characterized unary self-maps on the set $\mathbb{Z}$ of integers which preserve all congruences of the additive group. In this note, we propose a shorter and straigthforward proof. We replace…
In this article, we define a very important sequence of functions, all the functions of this sequence present behaviors very close to that of the Collatz function. The study of such functions allows us to obtain very interesting results…
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…
The matrix units of a digraph algebra, A, induce a relation, known as the diagonal order, on the projections in a masa in the algebra. Normalizing partial isometries in A act on these projections by conjugation; they are said to be order…
In this article, we introduce a relation including ideals of an evolution algebra and hereditary subsets of vertices of its associated graph and establish some properties among them. This relation allows us to determine maximal ideals and…
We introduce the concept of a quasiresiduated lattice and prove that every lattice effect algebra can be organized into a commutative quasiresiduated lattice with divisibility. Also conversely, every such a lattice can be converted into a…
We study effectively inseparable (e.i.) pre-lattices (i.e. structures of the form $L=\langle \omega, \wedge, \lor, 0, 1, \leq_L\rangle$ where $\omega$ denotes the set of natural numbers and the following hold: $\wedge, \lor$ are binary…
We prove stability theorems in the Cuntz semigroup of a commutative C*-algebra which are analogues of classical stability theorems for topological vector bundles over compact Hausdorff spaces. Several applications to simple unital AH…
In this paper we study structural properties of residuated lattices that are idempotent as monoids. We provide descriptions of the totally ordered members of this class and obtain counting theorems for the number of finite algebras in…
We consider classes of Boolean functions stable under compositions both from the right and from the left with clones. Motivated by the question how many properties of Boolean functions can be defined by means of linear equations, we focus…
We present a generalization of the induced matching theorem and use it to prove a generalization of the algebraic stability theorem for $\mathbb{R}$-indexed pointwise finite-dimensional persistence modules. Via numerous examples, we show…
The main objective of this thesis is a classification project for integral lattices. Using Kneser's neighbour method we have developed the computer program tn to classify complete genera of integral lattices. Main results are detailed…
In this paper, we extend properties Going Up and Lying Over from ring theory to the general setting of congruence--modular equational classes, using the notion of prime congruence defined through the commutator. We show how these two…
We provide a unified approach, via deformations of incidence algebras, to several important types of representations with finiteness conditions, as well as the combinatorial algebras which produce them. We show that over finite dimensional…