Related papers: Universal factorization spaces and algebras

According to the basic idea of category theory, any Einstein algebra, essentially an algebraic formulation of general relativity, can be considered from the point of view of any object of the category of smooth algebras; such an object is…

In this text, we are concerned with ring epimorphisms, and more specifically universal localisations, from path algebras to matrix algebras. We are mainly focused on constructing ring epimorphisms and universal localisations by extending…

We shall generalize the notion of a Laver table to algebras which may have many generators, several fundamental operations, fundamental operations of arity higher than 2, and to algebras where only some of the operations are…

We give a short introduction to generalized vertex algebras, using the notion of polylocal fields. We construct a generalized vertex algebra associated to a vector space h with a symmetric bilinear form. It contains as subalgebras all…

In this paper the concept of compatible weak factorization systems in general categories is introduced as a counterpart of compatible complete cotorsion pairs in abelian categories. We describe a method to construct model structures on…

We present an ongoing effort to implement Universal Algebra in the UniMath system. Our aim is to develop a general framework for formalizing and studying Universal Algebra in a proof assistant. By constituting a formal system for isolating…

Following analogous constructions for Lie algebras, we define Whittaker modules and Whittaker categories for finite-dimensional simple Lie superalgebras. Results include a decomposition of Whittaker categories for a Lie superalgebra…

This is a paper in a series to study vertex algebra-like structures arising from various algebras including quantum affine algebras and Yangians. In this paper, we develop a theory of what we call (weak) quantum vertex $\F((t))$-algebras…

We take a novel lattice-theoretic approach to the $\tau$-cluster morphism category $\mathfrak{T}(A)$ of a finite-dimensional algebra $A$ and define the category via the lattice of torsion classes $\mathrm{tors } A$. Using the lattice…

We construct an iterative method for factorising small strict n-categories into a unique (up to isomorphism) collection of small 1- categories. Following this we develop the theory to include a large class of $\infty$-categories. We use…

The algebraic geometry of a universal algebra $\mathbf{A}$ is defined as the collection of solution sets of term equations. Two algebras $\mathbf{A}_1$ and $\mathbf{A}_2$ are called algebraically equivalent if they have the same algebraic…

We define generalized bialgebras and Hopf algebras and on this basis we introduce quantum categories and quantum groupoids. The quantization of the category of linear (super)spaces is constructed. We establish a criterion for the classical…

In engineering practice one often encounters planar problems, where the corresponding vector space of forces, velocities or (infinitesimal) displacements is three dimensional. This paper shows how these spaces can be factorized, such that…

We construct differential algebras in which spaces of (one-dimensional) periodic ultradistributions are embedded. By proving a Schwartz impossibility type result, we show that our embeddings are optimal in the sense of being consistent with…

In this paper we first define the category of fuzzy hyper BCK- algebras. After that we show that the category of hyper BCK-algebras has equalizers, coequalizers, products. It is a consequence that this category is complete and hence has…

We transfer several elementary geometric properties of rigid-analytic spaces to the world of adic spaces, more precisely to the category of adic spaces which are locally of (weakly) finite type over a non-archimedean field. This includes…

Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of…

In this paper, we introduce a novel generalization of the classical property of algebras known as "being alternative," which we term "partially alternative." This new concept broadens the scope of alternative algebras, offering a fresh…

We observe that there is an equivalence between the singularity category of an affine complete intersection and the homotopy category of matrix factorizations over a related scheme. This relies in part on a theorem of Orlov. Using this…

For a given extension $A \subset E$ of associative algebras we describe and classify up to an isomorphism all $A$-complements of $E$, i.e. all subalgebras $X$ of $E$ such that $E = A + X$ and $A \cap X = \{0\}$. Let $X$ be a given…