Related papers: Free bounded archimedean $\ell$-algebras
This work creates two categories of "array-weighted sets" for the purposes of constructing universal matrix-normed spaces and algebras. These universal objects have the analogous universal property to the free vector space, lifting maps…
We prove that a variety of algebras whose finitely generated members are free must be definitionally equivalent to the variety of sets, the variety of pointed sets, a variety of vector spaces over a division ring, or a variety of affine…
Consider a diagram $\cdots \to F_3 \to F_2\to F_1$ of algebraic systems, where $F_n$ denotes the free object on $n$ generators and the connecting maps send the extra generator to some distinguished trivial element. We prove that (a) if the…
We give an exposition of results of Baldwin-Shelah on saturated free algebras, at the level of generality of complete first order theories $T$ with a saturated model $M$ which is in the algebraic closure of an indiscernible set. We then…
We introduce the notion of pie algebra for a 2-monad, these bearing the same relationship to the flexible and semiflexible algebras as pie limits do to flexible and semiflexible ones. We see that in many cases, the pie algebras are…
We introduce the notion of a Nachbin proximity on a bounded archimedean $\ell$-algebra (bal-algebra), and show that Gelfand duality lifts to yield a dual equivalence between the category of uniformly complete bal-algebras equipped with a…
We prove that there exists a version of Weil descent, or Weil restriction, in the category of $\mathcal{D}$-algebras. The objects of this category are $k$-algebras $R$ equipped with a homomorphism $e \colon R \to R \otimes_k \mathcal{D}$…
We show how the existence of various free vector lattices and free vector lattice algebras can be derived from a theorem on equational classes in universal algebra. A discussion about free $f$-algebras over non-empty sets is given, where…
Any variety of classical algebras has a so-called conformal counterpart. For example one can consider Lie conformal or associative conformal algebras. Lie conformal algebras are closely related to vertex algebras. We define free objects in…
Let $R$ be an algebra over a commutative ring $k$. Suppose that $R$ is endowed with a descending filtration indexed on an ordered group $(G,<)$ such that the restriction to $k$ is positive. We show that the existence of free algebras on a…
We introduce an embedding of the free magma on a set A into the direct product of the free magma on a singleton set and the free semigroup on A. This embedding is then used to prove several theorems related to algebraic independence of…
In the present paper, we propose the concepts of weighted differential ($q$-tri)dendriform algebras and give some basic properties of them. The corresponding free objects are constructed, in both the commutative and noncommutative contexts.
In \cite{BH20} an elegant choice-free construction of a canonical extension of a boolean algebra $B$ was given as the boolean algebra of regular open subsets of the Alexandroff topology on the poset of proper filters of $B$. We make this…
We define a notion of an arithmetic set in an arbitrary countable group and study properties of these sets in the cases of Abelian groups and non-abelian free groups.
We define varieties of algebras for an arbitrary endofunctor on a cocomplete category using pairs of natural transformations. This approach is proved to be equivalent to the one of equational classes defined by equation arrows. Free…
In this work, I address a primary issue with adapting categorical and algebraic concepts to functional analytic settings, the lack of free objects. Using a "normed set" and associated categories, I describe constructions of normed objects,…
Free independence is an important tool for studying the structure of operator algebras. It is natural to ask from the model-theoretic standpoint whether free independence is captured well in first-order model theory via the notion of a…
We give an explicit construction of the free monoid in monoidal abelian categories when the monoidal product does not necessarily preserve coproducts. We apply it to several new monoidal categories that appeared recently in the theory of…
We prove that the category of McKinsey-Tarski algebras is not equivalent to a variety of algebras, thus answering a question of Peter Jipsen in the negative. More generally, we show that various categories of BAOs (boolean algebras with an…
It has recently been proved that the class of unital exact C*-algebras is closed under taking reduced amalgamated free products. In particular, this implied that the class of exact discrete groups is closed under taking amalgamated free…