Related papers: A new approach to classification of integral quadr…

In this paper we will introduce a new notion of geometric structures defined by systems of closed differential forms in term of the Clifford algebra of the direct sum of the tangent bundle and the cotangent bundle on a manifold. We develop…

The purpose of this paper is to extend the Donaldson-Corlette theorem to the case of vector bundles over cell complexes. We define the notion of a vector bundle and a Higgs bundle over a complex, and describe the associated Betti, de Rham…

We demonstrate and develop dyadic-probabilistic methods in connection with non-homogeneous bilinear operators, namely singular integrals and square functions. We develop the full non-homogeneous theory of bilinear singular integrals using a…

In this paper we introduce new modules over the ring of ponderation functions, so we recover old results in harmonic analysis from the side of ring theory. Moreover, we prove that Laplace transform, Fourier transform and Hankel transform…

We introduce a category-theoreticabstraction of a syntax with auxiliary functions, called an admissiblemonad morphism. Relying on an abstract form of structural recursion,we then design generic tools to construct admissible monad…

An algorithm for irreducible decomposition of representations of finite groups over fields of characteristic zero is described. The algorithm uses the fact that the decomposition induces a partition of the invariant inner product into a…

In the present article, we explore a new approach for the study of orthomodular lattices, where we replace the problematic conjunction by a binary operator, called the Sasaki projection. We present a characterization of orthomodular…

After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…

Let (A,m_A) -> (B,m_B) be a local morphism of local noetherian rings and M a finitely generated B-module. Then it follows from Tor^A_1(M,A/m_A) = 0 that M is a flat A-module. This is usually called the "local criterion of flatness". We give…

We introduce a new variety of set-theoretic non-associative algebras, P{\l}onka bi-magmas, to describe and classify all solutions of the set-theoretic Yang-Baxter (YB) equation of Baaj-Long-Skandalis (BLS) type. We also study new classes of…

We present a novel lambda calculus that casts the categorical approach to the study of quantum protocols into the rich and well established tradition of type theory. Our construction extends the linear typed lambda calculus with a linear…

The notion of concept has been studied for centuries, by philosophers, linguists, cognitive scientists, and researchers in artificial intelligence (Margolis & Laurence, 1999). There is a large literature on formal, mathematical models of…

Boij-S\"oderberg theory is the study of two cones: the cone of cohomology tables of coherent sheaves over projective space and the cone of standard graded minimal free resolutions over a polynomial ring. Each cone has a simplicial fan…

We propose a novel approach to sequential Bayesian inference based on variational Bayes (VB). The key insight is that, in the online setting, we do not need to add the KL term to regularize to the prior (which comes from the posterior at…

In this paper we start from a basic notion of process, which we structure into two groupoids, one orthogonal and one symplectic. By introducing additional structure, we convert these groupoids into orthogonal and symplectic Clifford…

In this revised version (August 2025), we add a survey of \infty-categorical (co)limits and a replacement lemma for higher functoriality (Lem. 1.4.5), a framework for explicit models of punctured tubular neighborhoods ({\S}3.4), and a new…

To define enumerative invariants in geometry, one often needs orientations on moduli spaces of geometric objects. This monograph develops a new bordism-theoretic point of view on orientations of moduli spaces. Let $X$ be a manifold with…

Let T -> S be a finite flat morphism of degree two between regular integral schemes of dimension at most two (and with 2 invertible), having regular branch divisor D. We establish a bijection between Azumaya quaternion algebras on T and…

The paper "Sorting with Bialgebras and Distributive Laws" by Hinze et al. uses the framework of bialgebraic semantics to define sorting algorithms. From distributive laws between functors they construct pairs of sorting algorithms using…

InfoMod is a new software and application devoted to the modular group, PSL2(Z). It has algorithms that deals with the classical correspondences among continued fractions, geodesics on the modular surface and binary quadratic forms. In…