Related papers: On mappings of terms determined by hypersubstituti…

Let S be an arbitrary scheme. We define biextensions of 1-motives by 1-motives which we see as the geometrical origin of morphisms from the tensor product of two 1-motives to a third one. If S is the spectrum of a field of characteristic 0,…

This paper provides a model theoretic semantics to feature terms augmented with set descriptions. We provide constraints to specify HPSG style set descriptions, fixed cardinality set descriptions, set-membership constraints, restricted…

Let $X$ be a set, $B_{X}$ denotes the family of all subsets of $X$ and $F: X \longrightarrow B_{X}$ be a set-valued mapping such that $x \in F(x)$, $sup_{x\in X} | F(x)|< \kappa$, $sup_{x\in X} | F^{-1}(x)|< \kappa$ for all $x\in X$ and…

Let $\mathscr{B}^+(G)$ be the bicyclic extension of a totally ordered group $G$ which is defined in [O. Gutik, D. Pagon, and K. Pavlyk, Congruences on bicyclic extensions of a linearly ordered group, Acta Comment. Univ. Tartu. Math. 15…

We give an account on what is known on the subject of permutation matchings, which are bijections of a finite regular semigroup that map each element to one of its inverses. This includes partial solutions to some open questions, including…

Within this research, two combinatorial bijections using Young diagrams were studied. The first is a special case of a bijective correspondence between two classes of combinatorial objects. Its proof, based on Young diagrams, establishes…

We develop first steps in the study of factorizations of elements in ultraproducts of commutative cancellative monoids into irreducible elements. A complete characterization of the (multi-)sets of lengths in such objects is given. As…

Let $H_{n}^{+}(\mathbb{R})$ be the cone of all positive semidefinite $n\times n$ real matrices. We describe the form of all surjective maps on $H_{n}^{+}(\mathbb{R}) $, $n\geq 3$, that preserve the minus partial order in both directions.

We give a combinatorial classification for the class of postcritically fixed Newton maps of polynomials and indicate potential for extensions. As our main tool, we show that for a large class of Newton maps that includes all hyperbolic…

Additive relations are defined over additive monoids and additive operation is introduced over these new relations then we build algebraic system of equations. We can generate profuse equations by additive relations of two variables. To…

Based on the fact that projective monomial curves in the plane are complete intersections, we give an effective inductive method for creating infinitely many monomial curves in the projective $n$-space that are set theoretic complete…

Monotonicity of a mapping implies its pseudomonotonicity and hence quasimonotonocity, the converse is not true. In this note we intend to study the situations under which quasimono tonicity of a mapping implies its monotonicity. Thus we…

For any marked poset we define a continuous family of polytopes, parametrized by a hypercube, generalizing the notions of marked order and marked chain polytopes. By providing transfer maps, we show that the vertices of the hypercube…

We consider some special type extensions of an arbitrary Lie algebra, which we call universal extensions. We show that these extensions are in one-to-one correspondence with finite dimensional associative commutative algebras. We also…

It was recently shown that arbitrary first-order models canonically extend to models (of the same language) consisting of ultrafilters. The main precursor of this construction was the extension of semigroups to semigroups of ultrafilters, a…

One way of interpreting a left Kan extension is as taking a kind of "partial colimit", whereby one replaces parts of a diagram by their colimits. We make this intuition precise by means of the "partial evaluations" sitting in the so-called…

In this note, we study the general form of a multiplicative bijection on several families of functions defined on manifolds, both real or complex valued. In the real case, we prove that it is essentially defined by a composition with a…

The definition of many-to-one mapping, or $m$-to-$1$ mapping for short, between two finite sets is introduced in this paper, which unifies and generalizes the definitions of $2$-to-$1$ mappings and $n$-to-$1$ mappings. A generalized local…

In this short note, we argue that directed homotopy can be given the structure of generalized modules, over particular monoids. This is part of a general attempt for refoundation of directed topology.

We study toposes of actions of monoids on sets. We begin with ordinary actions, producing a class of presheaf toposes which we characterize. As groundwork for considering topological monoids, we branch out into a study of supercompactly…