Related papers: Characterizations of classes of countable Boolean …

Artinian integrally closed monomial ideals are characterized by their Newton polyhedra, which are lattice polyhedra inside the positive orthant having the positive orthant as their recession cone. Multiplication of such ideals correspond to…

I extend the definitions of schemes relative to monoids with zero - and therefore, toric geometry - to the world of formal schemes. This expands the usual framework to include, for instance, models for Mumford's degenerating Abelian…

We define the notion of factorizable quasi-Hopf algebra by using a categorical point of view. We show that the Drinfeld double $D(H)$ of any finite dimensional quasi-Hopf algebra $H$ is factorizable, and we characterize $D(H)$ when $H$…

I extend the framework of rigid analytic geometry to the setting of algebraic geometry relative to monoids, and study the associated notions of separated, proper, and overconvergent morphisms. The category of affine manifolds embeds as a…

We consider polynomial maps described by so-called "(multivariate) linearized polynomials". These polynomials are defined using a fixed prime power, say q. Linearized polynomials have no mixed terms. Considering invertible polynomial maps…

We prove that the forgetful functor from the category of Boolean inverse semigroups to inverse semigroups with zero has a left adjoint. This left adjoint is what we term the `Booleanization'. We establish the exact connection between the…

In this short note, we show that the number of monogenic submonoids of the full transformation monoid of degree $n$ for $n > 0$, equals the sum of the number of cyclic subgroups of the symmetric groups on $1$ to $n$ points. We also prove an…

A polynomial f (multivariate over a field) is decomposable if f = g(h) with g univariate of degree at least 2. We determine the dimension (over an algebraically closed field) of the set of decomposables, and an approximation to their number…

The concept of an omnigenous locally finite group was introduced in [2] as a generalization of Hall's universal countable locally finite group. In this paper we show that the class of all countable omnigenous locally finite groups is Borel…

The internal bialgebroid -- in a symmetric monoidal category with coequalizers -- is defined. The axioms are formulated in terms of internal entwining structures and alternatively, in terms of internal corings. The Galois property of the…

In our previous papers we introduced categorical invariants, which are, roughly speaking, sets of triangulated subcategories in a given triangulated category and their quotients. Here is extended the list of examples, where these sets are…

We develop a general finite-alphabet framework for Euler-type sums based on the notion of a monoidal alphabet. An alphabet of summand letters is called monoidal when it is closed under pointwise multiplication, thereby inducing the usual…

A self-dual algebras is one isomorphic as a module to the opposite of its dual; a quasi self-dual algebra is one whose cohomology with coefficients in itself is isomorphic to that with coefficients in the opposite of its dual. For these…

We study systematically groups whose marked finite quotients form a recursive set. We give several definitions, and prove basic properties of this class of groups, and in particular emphasize the link between the growth of the depth…

The near-unanimity-closed minions of Boolean functions, i.e., the clonoids whose target algebra contains a near-unanimity function, are completely described. The key concept towards this result is the minorant-minor partial order and its…

In this paper we prove a characterization of continuity for polynomials on a normed space. Namely, we prove that a polynomial is continuous if and only if it maps compact sets into compact sets. We also provide a partial answer to the…

Each irreducible representation of the affine group of a finite field has a unique maximal inductive algebra, and it is self adjoint.

A closed subgroup H of the affine, algebraic group G is called observable if G/H is a quasi-affine algebraic variety. In this paper we define the notion of an observable subgroup of the affine, algebraic monoid M. We prove that a subgroup H…

Let $M$ be a compact $n$-dimensional Riemanian manifold, End($M$) the set of the endomorphisms of $M$ with the usual $\mathcal{C}^0$ topology and $\phi: M\to\mathbb{R}$ continuous. We prove that there exists a dense subset of $\mathcal{A}$…

By extending type theory with a universe of definitionally associative and unital polynomial monads, we show how to arrive at a definition of opetopic type which is able to encode a number of fully coherent algebraic structures. In…