Related papers: Rings and Boolean Algebras as Algebraic Theories
A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…
The representation ring of an affine algebraic group scheme can be endowed with the structure of a (special) $\lambda$-ring. We show that the same is true for the ring of symmetric representations, i.e. for the Grothendieck-Witt ring of the…
It is shown that the canonical formulation of the abelian BF theory in D = 3 allows to obtain topological invariants associated to curves and points in the plane. The method consists on finding the Hamiltonian on-shell of the theory coupled…
In a series of papers, we used full quivers as tools in describing PI-varieties of algebras and providing a complete proof of Belov's solution of Specht's problem for affine algebras over an arbitrary Noetherian ring. In this paper,…
We adapt the notion of an algebraic theory to work in the setting of quasicategories developed recently by Joyal and Lurie. We develop the general theory at some length. We study one extended example in detail: the theory of commutative…
We provide a correspondence between one-sided coideal subrings and one-sided ideal two-sided coideals in an arbitrary bialgebroid. We prove that, under some expected additional conditions, this correspondence becomes bijective for Hopf…
In this paper we construct "structural" pre-braidings characterizing different algebraic structures: a rack, an associative algebra, a Leibniz algebra and their representations. Some of these pre-braidings seem original. On the other hand,…
We introduce a new class of gauge field theories in any complex dimension, based on algebra-valued (p,q)-forms on complex n-manifolds. These theories are holomorphic analogs of the well-known Chern-Simons and BF topological theories defined…
We introduce new polynomial invariants of a finite-dimensional semisimple and cosemisimple Hopf algebra A over a field by using the braiding structures of A. We investigate basic properties of the polynomial invariants including stability…
Octonion algebras are certain algebras with a multiplicative quadratic form. In their 2019 article, Alsaody and Gille show that, for octonion algebras over unital commutative rings, there is an equivalence between isotopes and isometric…
The interaction of a Lie algebra $\LL,$ having a weight space decomposition with respect to a nonzero toral subalgebra, with its corresponding root system forms a powerful tool in the study of the structure of $\LL.$ This, in particular,…
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…
We construct a new family of irreducible modules over any basic classical affine Kac-Moody Lie superalgebra which are induced from modules over the Heisenberg subalgebra. We also obtain irreducible deformations of these modules for the…
The category of mobi algebras has been introduced as a model to the unit interval of real numbers. The notion of mobi space over a mobi algebra has been proposed as a model for spaces with geodesic paths. In this paper we analyse the…
A Souslin algebra is a complete Boolean algebra whose main features are ruled by a tight combination of an antichain condition with an infinite distributive law. The present article divides into two parts. In the first part a representation…
The concept of F-algebra and its representation can be extended to an arbitrary bundle. We define operations of fibered F-algebra in fiber. The paper presents the representation theory of of fibered F-algebra as well as a comparison of…
Given an action $\varphi$ of of inverse semigroup $S$ on a ring $A$ (with domain of $\varphi(s)$ denoted by $D_{s^*}$) we show that if the ideals $D_e$, with $e$ an idempotent, are unital, then the skew inverse semigroup ring $A\rtimes S$…
We develop a Borel-de Siebenthal theory for affine reflection systems by classifying their maximal closed subroot systems. Affine reflection systems (introduced by Loos and Neher) provide a unifying framework for root systems of…
We give a description of the value of a finitary localizing invariant, such as algebraic $K$-theory, on the category of sheaves on a locally coherent space $X$. This in particular includes all spaces that arise as spectra of commutative…
We establish a link between abelian regular subgroup of the affine group, and commutative, associative algebra structures on the underlying vector space that are (Jacobson) radical rings. As an application, we show that if the underlying…